Costa, M. C., Cunningham, R. J., and Booth, J. "Logical animation" In Proceedings of the 12th International Conference on Software Engineering (Nice, France) 1990. pp144-149.

Languages mentioned

• MAL {1991} Modal action logic