Jeremaes, P., Khosla, S., and Maibaum, T.S.E. "A modal(action) logic for requirements specifications" In Software Engineering ?86, P. J. Brown and D. J. Barnes, Eds. Peter Peregrinus, pp278?294. 1986.

Languages mentioned

• MAL {1991} Modal action logic