A Modal Action Logic Based Framework for Organization Specification and Analysis.

Filipe Santos José Carmo A Modal Action Logic Based Framework for Organization Specification and Analysis. 119-133 1996 conf/jelia/1996 JELIA db/conf/jelia/jelia96.html#SantosC96 http://dx.doi.org/10.1007/3-540-61630-6_8