~ tracking down this book ~
Formal semantics by Ronnie Cann — OmList