Boolean systems - Kaye, Doouglas (London Longman Green, 1968)