The algebraic data type specification language. - Luc Duponcheel; Jurgen Heyman; Willy Van Puymbroeck; Johan Lewi; Ivo Van Horebeek (Microprocess. Microprogramming, 1987)