J. Shultis The Design and Implementations of Intuit 96-104 conf/lics/LICS1 1986 LICS db/conf/lics/lics86.html#Shultis86