ACM Computing Surveys 31(3) 1999

• D. Sannella and A. Tarlecki. (1999) D. Sannella and A. Tarlecki. "Algebraic methods for specification and formal development of programs"