PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving. - Andre J. Sampaio; Armando Martin Haeberer; Claudio T. Prates; Cristina D. Ururahy; Marcelo F. Frias; Neudson C. Albuquerque (TAPSOFT, 1995)