O. Bastonero Alberto Pravato Simona Ronchi Della Rocca Structures for lazy semantics. 30-48 1998 conf/procomet/1998 PROCOMET db/conf/procomet/procomet1998.html#BastoneroPR98