Constructing specification morphisms (1993)

by D R Smith
Venue:Journal of Symbolic Computation, Special Issue on Automatic Programming