T. Lehmann
Univ. des Sarrlandes, Saarbru¨cken
Module algebra
Journal of the ACM (JACM)
Towards quality requirements via animated formal specifications
Annals of Software Engineering