Some fundamentals of order-algebraic semantics (1976)

by J A Goguen, J W Tatcher, E G Wagner, J R Wright
Venue:In Mathematical Foundations of Computer Science, volume 45 of LNCS