Theory morphisms, program morphisms and program transformation
by C. T. Burton
No reviews yet
First published: 1987
1 language