G.: “Techniques for Executing and Reasoning About Specification Diagrams (2004)

by P Thati, C A Talcott, Agha
Venue:10 th Intl Conference on Algebraic Methodology and Software Technology, LNCS 3116, Springer-Verlag