An Order-Algebraic Definition of Knuthian Semantics (1979)

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