~ tracking down this book ~
Some notes on "Operational semantics for order-sorted algebra" — OmList