Multiparadigm specification languages: a first attempt at foundations (1994)

by E Astesiano, M Cerioli
Venue:Semantics of Specification Languages (SoSl 93), Workshops in Computing, 168--185