Operational semantics for order-sorted algebra (0)

by J A Goguen, J-P Jouannaud, J Meseguer
Venue:In Proceedmgs of the 12th ICALP, Lecture Notes in Computer Science