Scheurer , Thierry Foundation of Computing :system developmenting with set theory and logic - NA - Wokingham 1994 - xxiv,668 ISBN: 0-201-54429-6 Subjects--Personal Names: Computer Science Subjects--Topical Terms: Computer science, information & general works