Noshita, K., Takeuchi, I., Amamiya, M.,
"Formal-2: A simple data-free form-expressional programming language with nondeterminism",
1st USA-Japan Computer Conference Proceedings, AFIPS, pp. 216-221, 1972.
QuoteRef: noshK_1972 ;;217 Formal-2 takes input and parses it into a tree using forms and backtracking. Matches done on longest match first.