Maurice Naftalin An Experiment in Practical Semantics. 144-159 1986 conf/esop/1986 ESOP db/conf/esop/esop86.html#Naftalin86 http://dx.doi.org/10.1007/3-540-16442-1_11