Foundation of computing : system development with set theory and logic - Scheurer Thierry (Wokingham Addison Wesley, 1994)
Keywords: Computer programming; Set theory