Explaining Abstract Data Types with Sentential and Diagrammatic Elements. - Agustin A. Araya; Jessica H. Chu (MICAI, 2000)