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 .

9783540464990


Computer Science