References

 [1]

Kapur, D., Musser, D. R., and Stepanov, A. A., "Tecton: A Language for Manipulating Generic Objects," Proc. of Program Specification Workshop, J. Staunstrup, ed., Aarhus, Denmark, August 1981, chapter in Lecture Notes in Computer Science, Vol. 134, Springer-Verlag, Berlin, 1982.

 [2]

Kapur, D. and Musser, D. R., "Tecton: A Framework for Specifying and Verifying Generic System Components," RPI Computer Science Department Technical Report 92-20, Troy, NY, July 1992.

 [3]

Knuth, D. E., The Art of Computer Programming, Vol. 1, Addison-Wesley, 1968.

 [4]

Musser, David R.,The Tecton Concept Description Language, http://www.cs.rpi.edu/~musser/gp/tecton/tecton1.ps.gz, Universität Tübingen, July, 1998.

 [5]

Musser, David R., Tecton Description of STL Container and Iterator Concepts, http://www.cs.rpi.edu/~musser/gp/tecton/container.ps.gz, Universität Tübingen, August, 1998.

 [6]

Wille, Rudolf. Restructuring lattice theory: An approach based on hierarchies of concepts. In I. Rival, editor, Ordered Sets, pages 445-470. Reidel, Dordrecht-Boston, 1982.

 [7]

Wille, Rudolf. Concept lattices and conceptual knowledge systems. Computers and Mathematics with Applications, 23:493-522, 1992.