A definite and unfoldable, partially deterministic language. - Jackson, W. Ken; Burton, F. Warren (Computer Journal, 1994)