An order-algebraic definition of Knuthian semantics (1979)

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