1. Cremers, Armin B. and Hibbard, T.N. The Semantic Definition of Programming Languages in Terms of their Data Spaces, 4th Conference on “Programming Languages,” German Computer Society, Erlangen, March 1976, Informatik-Fachberichte 1, Springer-verlag, 1–11, 1976.
2. -, On the Formal Definition of Dependencies between the Control and Information Structure of a Data Space, Theoretical Computer Science 5, 113–128, 1977.
3. -, Formal Modelling of Virtual Machines, IEEE Transactions on Software Engineering 4, 426–436, 1978.
4. -, A Programming Notation for Locally Synchronized Algorithms, in VLSI: Algorithms and Architectures, P. Bertolazzi and F. Luccio, eds., 341–376, North-Holland, 1985.
5. -, Executable Specification of Concurrent Algorithms in Terms of Applicative Data Space Notation, in VLSI and Modern Signal Processing, S.Y. Kung, H.J. Whitehouse and T. Kailath eds., 200–223, Prentice-Hall, 1985.