Deepak Kapur David R. Musser Alexander A. Stepanov Tecton: A Language for Manipulating Generic Objects. 402-414 1981 conf/fm/1981 Program Specification db/conf/fm/ps1981.html#KapurMS81 http://dx.doi.org/10.1007/3-540-11490-4_24