Möller: Modal design algebra (0)

by W Guttmann, B
Venue:Proc. First International Symposium on Unifying Theories of Programming. LNCS