MLA

Al-Mulhem, Muhammed Saleh. Datalab, a Graphical System for Specifying and Synthesizing Abstract Data Types. : Oregon State University, 1989.