Constructing specification morphisms (1993)

by D Smith
Venue:Journal of Symbolic Computation