Barendregt, H.; Rezus, A. "Semantics for classical AUTOMATH and related systems" Inf. Control 59, 1-3 pp127-147.

(1985)

Languages mentioned