S. Abramsky, T.S.E. Maibaum
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 - 1991 - Springer Berlin Heidelberg 1991 - Lecture Notes in Computer Science .
9783540465638
Computer Science
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 - 1991 - Springer Berlin Heidelberg 1991 - Lecture Notes in Computer Science .
9783540465638
Computer Science