Sharing actions and attributes in modal action logic (1991)

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