Title: DataLab, a graphical system for specifying and synthesizing abstract data types
Subjects: Visual programming languages (Computer science), Abstract data types (Computer science)