In: VHDL for simulation, synthesis and formal proofs of hardware. Year 1992. Dordrecht [u.a.], 1992, Pg. 259-276

In: Software : Schnittstelle zwischen Mensch und Maschine (Informations- und Kommunikationstechnik : 1). Year 1989. Köln, 1989, Pg. 33-51

In: Software development and reality construction. Year 1992. Berlin [u.a.], 1992, Pg. 168-188

In: Softwaretechnik-Trends. Year 1985. Bonn, 1985, Pg. 105-135

In: Implementierungssprachen für nichtsequentielle Programmsysteme. Year 1981. Stuttgart, 1981, Pg. 119-132

In: Stanford Humanities Review. Year 4.1994 P.1. Stanford Cal., 1994, Pg. 72-74

In: STACS 1989. Year 1989. Berlin [u.a.], 1989, Pg. 181-192

In: International Symposium on Computer Hardware Description Languages and their Applications, New York, 3. Year 1975. New York, 1975, Pg. 38-44

In: Proceedings of 2nd Workshop on Computer Hardware Description Languages, Darmstadt, Jul. 1974. Year 1974. Darmstadt, 1974, Pg. 126-128

In: Concurrent languages in distributed systems / Workshop on Hardware Supported Implementation on Concurrent Languages in Distributed Systems <1984, Bristol>. Year 1985. Amsterdam [u.a.], 1985, Pg. 135-149

In: NetWORKing : connecting workers in and between organizations : proceedings of the IFIP WG 9.1 Working Conference on NetWORKing, Vienna, Austria, 16 - 18 June, 1993 (IFIP transactions : A ; 38). Year 1994. Amsterdam [u.a.], 1994, Pg. 165-168

In: Mathematical foundations of computer science 1990. Year 1990. Berlin [u.a.], 1990, Pg. 76-87

In: Acta Informatica. Year 19.1983, 1980, Pg. 269-296

In: Theoretical computer science : Dortmund, January 5 - 7, 1983 (Lecture notes in computer science : 145). Year 1983. Berlin ; Heidelberg [u.a.], 1983, Pg. 221-241

In: STACS 1984. Year 1984. Berlin / Heidelberg / New York, 1984, Pg. 218-229

In: SIAM journal on computing. Year 1986. Philadelphia, Pa., 1986, Pg. 106-119

In: GI-NTG-Fachtagung Struktur und Betrieb von Rechensystemen / Fachtagung Struktur und Betrieb von Rechensystemen <6, 1980, Kiel>. Year 1980. Berlin [u.a.], 1980, Pg. 205-216

In: Journal of the Association for Computing Machinery. Year 1988. New York, 1984, Pg. 740-747

In: STOC 1985. Year 1985. Baltimore, 1985, Pg. 413-420

In: Fifth European Meeting on Cybernetics and Systems Research / European Meeting on Cybernetics and Systems Research <5, 1980, Wien>. Year 35.1980. Wien, 1980, Pg. 2-5