Thomas, Wolfgang

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)