Eelco Visser. Multi-Level Specifications. In Arie van Deursen, Jan Heering, Paul Klint, editors, Language Prototyping. An Algebraic Specification Approach. Volume 5 of AMAST Series in Computing, World Scientific, Singapore, September 1996.
No reviews for this publication, yet.