AB47.1.4
AB47.1.4 An Axiomatic Semantics for Expression Languages, by P.A. Pritchard, pages 5-6
Pages 5-6