- Baue 91
- B. Bauer: Ein interaktives System fuer
beobachtungsorientierte Implementierungsbeweise. Diplomarbeit,
Universitaet Passau 1991.
- Baue 81
- F.L. Bauer, M. Broy, W. Dosch, R. Gnatz, B.
Krieg-Brueckner, A. Laut, M Luckmann, T.A. Matzner, B. Moeller,
H. Partsch, P. Pepper, K. Samelson, R. Steinbrueggen, M. Wirsing,
H. Woessner: Programming in a wide spectrum language: a
collection of examples. Science of Computer Programming 1, 1981,
73-114.
- Baxt 90
- I.D. Baxter: Transformational maintenance by reuse of
design histories, Ph.D. Thesis, University of California,
Irvine, Tech. Report 90-36, 1990.
- Breu 91
- R. Breu: Algebraic specification techniques in object
oriented programming environments. Dissertation, Universitaet
Passau, 1991, also to appear in Springer Lectures Notes of
Computer Science.
- Breu 90
- R. Breu, H. Windl: The specifiers notepad - a
hypertext system tailored to the design of algebraic
specification, Tech. Report, Universitaet Passau, MIP-9007, 1990.
- Broy 80
- M. Broy, H. Partsch, P. Pepper, M. Wirsing:
Semantic relations in programming languages. In: S. Lavington
(ed.): Proc. IFIP World Congress - Information Processing 80,
Amsterdam: North Holland 1980, 101-106.
- Cazi 91
- J. Cazin, P. Cros, R. Jacquart, M. Lemoine, P.
Michel: Construction and reuse of formal program developments.
In: S. Abramski, T.S.E. Maibaum (ed.): TAPSOFT 91, Springer
Lectures Notes in Computer Science 494, 1991, 120-136.
- Dort 91
- W. Schaefer (ed.): Proc. First Int. Workshop on
Software Reusability, Dortmund, 1991.
- Frau 91
- U. Fraus, H. Hussmann: A narrowing-based
theorem prover. In: Proc. RTA 91, Springer Lectures Notes in
Computer Science 488, 1991.
- Gese 86
- A. Geser, H. Hussmann: Experiences with the
RAP system - a specification interpreter combining term rewriting
and resolution. Proc. European Symposium on Programming. Springer
Lecture Notes in Computer Science 213, 1986, 339-350.
- Henn 90
- R. Hennicker: A proof principle for behavioural
abstractions. In: A. Miola (ed.): Proc. DISCO 90. Springer
Lecture Notes in Computer Science 429, 1990, 101-110.
- Henn 91
- R. Hennicker: Consistent configuration of modular
algebraic implementations. Tech. Report, Universitaet Passau,
MIP-9102, 1991.
- Jacq 91
- R. Jacquart: Reuse of formal developments. In: [Dortmund 91]
- Lato 91
- L. Latour: In: [Dortmund 91] .
- Luo 91
- Z. Luo: A unifying theory of dependent types. Tech.
Report, University of Edinburgh, ECS-LFCS-91-154, 1991.
- Miln 90
- R. Milner, M. Tofte, R. Harper: The definition
of Standard ML. London: MIT Press, 1990, 101 p..
- Part 91
-
H. Partsch, N. Voelker: Another case study
on reusability of transformational developments - Pattern
matching according to Knuth,Morris and Pratt. In: M. Broy, M.
Wirsing (eds.): Methods of Programming, Springer Lecture Notes in
Computer Science, to appear.
- Rose 91
- T. Rose: Entscheidungsorientierte Versionen- und
Konfigurationenverwaltung. Dissertation, Universitaet Passau,
1991.
- Sann 83
- D. Sannella, M. Wirsing: A kernel language
for algebraic specification and implementation. In M. Karpinski
(ed.): Colloquium on Foundations of Computation theory. Springer
Lecture Notes in Computer Science 158, 1983, 413-427.
- Stab 91
- R. Stabl: Personal communication, September 1991.
- Wirs 88
- M. Wirsing: Algebraic description of reusable
software components. In: Proc. COMPEURO '88, Computer Society
Press of the IEEE, no. 834, 300-312, 1988.
- Wirs 90
- M. Wirsing: Algebraic specification. In: J.van
Leeuwen (ed.): Handbook of Theoretical Computer Science, Vol. B,
Amsterdam: North-Holland, 1990, 675-788.
- Wirs 91
- M. Wirsing: Stuctured specification: syntax,
semantics and proof calculus. In: H. Schwichtenberg (ed.): Proc.
International Summer School Marktoberdorf 1991, to appear.