Ph. Deschamp: Perluette: A compilers producing system using abstract data types. Symposium on Programming 1982: 63-77