An order algebraic definition of Knuthian semantics (1979)

by L M Chirica, D E Martin
Venue:Math. Systems Theory