The spine of software A mathematical introduction to the semantics of computer programs - Baber, Robert L. (John Wiley & Sons, 1987)
βωιβλιογραφια: σσ.302-305