Algebraic implementation of abstract da~a types: concept, syntax, semantics and correctness (0)

by H Ehrig, H-J Kre0wski, P Padawitz
Venue:Proc. 7th ICALp