Monografia (1977) La construction de programmes structurésMonografia (1985) Foundations of programming