Looking at the teaching of science and the importance language plays. Study shows how a taxonomy of language is built by students. Exploring how students then used language as a resource to unlock meaning and to decide upon an appropriate. answer. Conclusion focused on the implications for teaching science.
L. Schröder, and T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), volume 2422 of Lecture Notes in Computer Science, page 99--116. Springer; Berlin; http://www.springer.de, (2002)