Extended ML: An Institution-Independent Framework for Formal Program Development (1986)

by D T Sannella, A Tarlecki
Venue:In Proc. Workshop on Category Theory and Computer Programming