Wolfgang Thomas

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 1578)