Sharing actions and attributes in modal action logic (1991)

by M Ryan, J Fiadeiro, T Maibaum
Venue:In Proceedings of the International Conference on Theoretical Aspects of Computer Software, TACS ’91, Springer-Verlag