OASIS: Outil interactif d'aide à la spécification. - T. Joubert; M. Martin (SPLT, 1982)

Interpréteur de Prolog en Pascal sous Multics. - M. Martin; T. Joubert (SPLT, 1982)