Operational semantics of order-sorted algebra (1985)

by Joseph Goguen, Jean-Pierre Jouannaud, Jos'e Meseguer
Venue:Proceedings, 1985 International Conference on Automata, Languages and Programming