Corrado Böhm Subduing Self-Application. 108-122 1989 conf/icalp/1989 ICALP db/conf/icalp/icalp89.html#Bohm89 http://dx.doi.org/10.1007/BFb0035755