Deepak Kapur, David R. Musser, Alexander A. Stepanov. Tecton: A Language for Manipulating Generic Objects. In Jørgen Staunstrup, editor, Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981. Volume 134 of Lecture Notes in Computer Science, pages 402-414, Springer, 1981.
Abstract is missing.