Constructing specification morphisms (1993)

by D R Smith
Venue:Journal of Symbolic Computation