| 1985 |
|---|
| 7 | | Friedrich L. Bauer,
Rudolf Berghammer,
Manfred Broy,
Walter Dosch,
Franz Geiselbrechtinger,
Rupert Gnatz,
E. Hangel,
Wolfgang Hesse,
Bernd Krieg-Brückner,
Alfred Laut,
Thomas Matzner,
Bernhard Möller,
Friederike Nickl,
Helmuth Partsch,
Peter Pepper,
Klaus Samelson,
Martin Wirsing,
Hans Wössner:
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
Springer 1985 |
| 1983 |
|---|
| 6 | | Alfred Laut:
An Algebraic Specification of Pascal's File Type.
SIGPLAN Notices 18(4): 66-68 (1983) |
| 1982 |
|---|
| 5 | | Helmuth Partsch,
Alfred Laut:
From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications.
Fachtagung über Programmiersprachen 1982: 117-132 |
| 4 | | Alfred Laut,
Helmuth Partsch:
Tuning algebraic specifications by type merging.
Symposium on Programming 1982: 283-304 |
| 1981 |
|---|
| 3 | | Alfred Laut:
Developing algebraic specifications of threaded data structure implementations.
Werkzeuge der Programmiertechnik 1981: 28-40 |
| 2 | | Friedrich L. Bauer,
Manfred Broy,
Walter Dosch,
Rupert Gnatz,
Bernd Krieg-Brückner,
Alfred Laut,
M. Luckmann,
Thomas Matzner,
Bernhard Möller,
Helmuth Partsch,
Peter Pepper,
Klaus Samelson,
Ralf Steinbrüggen,
Martin Wirsing,
Hans Wössner:
Programming in a Wide Spectrum Language: A Collection of Examples.
Sci. Comput. Program. 1(1-2): 73-114 (1981) |
| 1980 |
|---|
| 1 | | Alfred Laut:
Safe Procedural Implementations of Algebraic Types.
Inf. Process. Lett. 11(4/5): 147-151 (1980) |
