Foundations of heterogeneous speci cation (2003)

by T Mossakowski
Venue:in: 16th Workshop on Algebraic Development Techniques 2002, Lecture Notes in Computer Science