HetCASL – heterogeneous specification. Language summary (2004)

by T Mossakowski