Towards heterogeneous specifications (2000)

by Andrzej Tarlecki
Venue:Frontiers of Combining Systems 2, Studies in Logic and Computation