Masahiko Sato Takafumi Sakurai QUTE: A Functional Language Based on Unification. 157-165 1984 FGCS db/conf/fgcs/fgcs84.html#SatoS84