Foundations of Programming - Arsac, Jacques (Academic Press, 1985)