Lamport and Holt - Heaton, P. M. (The starling press, 1986)