Raymond D. Gumb: Programming logics - an introduction to verification and semantics. Wiley 1989, ISBN 978-0-471-60539-3, pp. I-XVII, 1-334