"Specification and Refinement using a Heterogeneous Notation for ..."

Richard F. Paige (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics