Bibliography in pdf form for 'reading' - Fachbereich 10 - Universität ...

6679 Lisa Moses. TOPS-20 User’s manual. USC/Information Sciences Institute,
Internal manual, Marina del Rey, California.
6680 Peter Moss. Rhetoric of defense in the United States: language, myth
and ideology. In Paul Chilton, editor, Language and the nuclear arms
debate: Nukespeak today, pages 45–63. Frances Pinter, London, 1985.
6681 T. Mossakowski. Using limits of parchments to systematically construct
institutions of partial algebras. In M. Haveraaen, O. Owe, and O.-
J. Dahl, editors, Recent Trends in Data Type Specification. Proc. 11th
ADT/COMPASS Workshop (Oslo 1995), Lecture Notes in Computer
Science 1130, pages 379–393. 1999.
6682 T. Mossakowski. Heterogeneous development graphs and heterogeneous
borrowing. In In M. Nielsen and U. Engberg, editors, Foundations of
Software Science and Computation Structures. Lecture Notes in Computer
Sci-ence 2303, pages 326–341. Springer, Berlin, Heidelberg, 2000.
6683 T. Mossakowski. Specification in an arbitrary institution with symbols.
In C. Choppy and D. Bert, editors, Recent Trends in Algebraic Development
Techniques. WADT99 Lecture Notes in Computer Science 1827,
pages 252–270. Springer, 2000.
6684 T. Mossakowski. Relating CASL with other specification languages: the
institution level. In J. Fiadeiro, editor, Abstract Data Types (Special
Issue). Theoretical Computer Science (invited paper). 2003.
6685 T. Mossakowski, S. Autexier, and D. Hutter. Extending development
graphs with hiding. In H. Hußmann, editor, Fundamental Approaches to
Software Engineering. Lecture Notes in Computer Science 2029, pages
269–283. Springer, Berlin, Heidelberg, 2001.
6686 T. Mossakowski, A. Haxthausen, and B. Krieg-Brückner. Subsorted
Partial Higher-Order Logic as an Extension of CASL. In C. Choppy
and D. Bert, editors, Recent Trends in Algebraic Development Techniques.
WADT99 Lecture Notes in Computer Science 1827, pages 126–
145. Springer, 2001.
6687 T. Mossakowski and B. Klin. Institution independent static analysis for
CASL. In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic
Development Techniques, 15th International Workshop, WADT01, Lecture
Notes in Computer Science 2267, pages 221–237. Springer, Berlin,
Heidelberg, 2002.
6688 T. Mossakowski, Kolyang, and B. Krieg-Brückner. Static Semantic
Analysis and Theorem Proving for CASL. In F. Parisi-Pressice, editor,
Recent Trends in Algebraic Development Techniques. WADT97, Lecture
Notes in Computer Science 1376, pages 333–348. Springer, 1998.
554