TAPSOFT '91 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991 
ed by S. Abramsky, T. S. E. Maibaum. 
 - Berlin  Springer-Verlag  1991 
 - viii, 482p. 
<br/><br/><label>ISBN: </label>3540539816 
<br/><br/><label>Dewey Class. No.: </label>005.1  / N9117