An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment. - Luc Jadoul; Luc Duponcheel; Willy Van Puymbroeck (ICSE, 1989)