Antony A. Faustini, William W. Wadge: An eductive interpreter for Lucid. PLDI 1987: 86-91