Dieter Maurer Strictness computation using special lambda-expressions. 136-155 1985 conf/pdo/1985 Programs as Data Objects db/conf/pdo/pdo1985.html#Maurer85