OCCAM programming a pract. approach - Kerridge, Jon (Blackwell, 1987)