Foundations of heterogeneous specification. (2003)

by Till Mossakowski
Venue:In WADT 2002, LNCS,