Modal Action Logic in a Practical Specification Language. - Ismar Neumann Kaufman; Silvio Romero de Lemos Meira (AMAST, 1993)