SIGPLAN Notices 26(02) February 1991
(1991)
[SIGPLAN]
SIGPLAN Notices
Pellegrini and Sepe (1991)
Pellegrini and Sepe "Setlog, a tool for Experimenting with New Semantics"