An order-algebraic definition of Knuthian semantics (1979)

by L M Chirica, D F Martin
Venue:Mathematical Systems Theory