Sharing actions and attributes in modal action logic (1991)

by M Ryan, J Fiadeiro, T Maibaum
Venue:In Theoretical Aspects of Computer Software, volume 526 of Springer Lecture Notes in Computer Science