Proceedings / Symposium on Logic in Computer Science, LICS '94 : July 4 - 7, 1994, CNAM, Paris, France - Symposium on Logic in Computer Science (9 : 1994 : Paris); IEEE Computer Society. Software Engineering Technical Committee (IEEE Computer Society Press, 1994)