Pellegrini and Sepe "Setlog, a tool for Experimenting with New Semantics"

[SIGPLAN] (1991) SIGPLAN Notices 26(02) February 1991  

Languages mentioned SetLog {1991}