Simona Ronchi Della Rocca Operational semantics and extensionality. 24-31 2000 PPDP http://doi.acm.org/10.1145/351268.351272 db/conf/ppdp/ppdp2000.html#Rocca00