Odinaldo Rodrigues Mario R. F. Benevides PROMAL: Programming in Modal Action Logic. 101-111 1995 conf/sbia/1995 SBIA db/conf/sbia/sbia95.html#RodriguesB95