"TAPSOFT'91: Proceedings of the International Joint Conference on Theory ..."

Samson Abramsky, T. S. E. Maibaum (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics