E.E. Doberkat et al "SETL/E, A Prototyping System Based on Sets", in Tagungsband TOOL90, W. Zorn ed, pp.109-118, U Karlsruhe, Nov 1990.

Languages mentioned

• SETL/E {1990}