Foundations of heterogeneous specification (2003)

by Till Mossakowski
Venue:Recent Trends in Algebraic Development Techniques. Selected Papers from the 16th International Workshop on Algebraic Development Techniques, Frauenchiemsee, Lecture Notes in Computer Science