Graph matching in operational semantics and typing (1990)

by K H Holm
Venue:In Proceedings of Colloquium on Trees in Algebra and Programming