Sharing actions and attributes in modal action logic (1991)

by Mark D Ryan, Jose Fiadeiro, Tom Maibaum
Venue:Theoretical Aspects of Computer Software