Cordy, James R. and Promislow, Eric "Specification and automatic prototype implementation of polymorphic objects in Turing using the TXL dialect processor"

[Proceedings] (1990) Proceedings of 1990 International Conference on Computer Languages (ICCL), March 12-15, 1990, New Orleans, IEEE Computer Society Press (Los Alamitos, CA, 1990),   James Cordy

Languages mentioned Turing {1982} TXL {1985}