An order-algebraic de of knuthian semantics (1979)

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