Tools and notions for program construction an advanced course
Néel, D.
Cambridge Cambridge University Press
c1982
Includes bibliographies
Electronic digital computers