["A Simple Applicative Language: Mini-ML", D. Clement et al, Proc 1986 ACM Conf on LISP and Functional Prog, (Aug 1986)].
Try this search on Wikipedia, OneLook, Google
Nearby terms: minifloppy « minimal automaton « minimax « Mini-ML » minimum seek time » Mini PL/I » MINITAB II
