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.
@incollection{Visser96,
title = {Multi-Level Specifications},
author = {Eelco Visser},
year = {1996},
month = {September},
tags = {semantics, rule-based, syntax definition, SDF, multi-level specification, language design, type system, rules, algebraic specification, C++, type checking, algebra, abstraction, design, ASF+SDF, language prototyping},
researchr = {https://researchr.org/publication/Visser96},
cites = {0},
citedby = {0},
booktitle = {Language Prototyping. An Algebraic Specification Approach},
editor = {Arie van Deursen and Jan Heering and Paul Klint},
volume = {5},
series = {AMAST Series in Computing},
address = {Singapore},
publisher = {World Scientific},
}