Soft Typing of General First-Order Languages. - H. Becht; John Staples (APSEC, 1995)