Maibaum T., Sharing Actions and Attributes in Modal Action Logic (1991)

by M Ryan, J Fiadeiro
Venue:Theoretical Aspects of Comp. Software