A Fine-Grain Sort Discipline and Its Application to Formal Program Construction.

Jochen Burghardt A Fine-Grain Sort Discipline and Its Application to Formal Program Construction. 190-204 1995 conf/korso/1995 KORSO Book db/conf/korso/korso1995.html#Burghardt95