One of five pedagogical languages based on Markov algorithms, used in ["Nonpareil, a Machine Level Machine Independent Language for the Study of Semantics", B. Higman, ULICS Intl Report No ICSI 170, U London (1968)].
See also Diamond, Nonpareil, Pearl, Ruby.