and Andrzej Tarlecki. Toward formal development of programs from algebraic specifications (1988)

by Donald Sannella
Venue:Acta Informatica