Informatique théorique et méthode de compilation et de construction de programmes — Informatika (05 ; 1991 ; Genoble)