Science of Computer Programming. North-Holland, Amsterdam-New York.
Depuis le volume 1 (1981).
Non renouvelé en 1996 .
Sommaires et résumés disponibles sur le serveur Elsevier Science.