On the Construction of Programs

On the Construction of Programs. 1980.

Bibliographies