Difunctional relations: A formal tool for program design. Technical report, Universit'e de Sherbrooke, Facult'e des Sciences, D'epartement de math'ematiques et d'informatique (1989)

by Ali Jaoua, Martin Beaudry