Einige Veröffentlichungen:

• A. Poetzsch-Heffter: Logic-Based Specification of Visibility Rules. In J. Maluszynski and M. Wirsing: Programming Language Implementation and Logic Programming, 1991, pp. 63-74. (LNCS 528)
• A. Poetzsch-Heffter: Implementing High-Level Identification Specifications. In U. Kastens, P. Pfahler (Eds.): Compiler Construction, 1992, pp. 59-65. (LNCS 641)
  Postscript-Datei
• A. Poetzsch-Heffter: Programming Language Specification and Prototyping Using the MAX System. In M. Bruynooghe, J. Penjam (Eds.): Programming Language Implementation and Logic Programming, 1993, pp. 137-150. (LNCS 714)
  Postscript-Datei
• A. Poetzsch-Heffter: Developing Efficient Interpreters Based on Formal Language Specifications. In P. Fritzson (Ed.): Compiler Construction, 1994, pp. 233-247. (LNCS 786)
  Postscript-Datei
• A. Poetzsch-Heffter: Deriving Partial Correctness Logics From Evolving Algebras. In B. Pehrson, I. Simon (Eds.): Proceedings of the IFIP 13th World Computer Congress '94, 1994, Elsevier, Vol. 3.
  Postscript-Datei
• A. Poetzsch-Heffter: Interface Specifications for Program Modules Supporting Selective Updates and Sharing and their Use in Correcness Proofs. In G.~Snelting (Ed.): Softwaretechnik 95, Braunschweig, 1995.
• A. Poetzsch-Heffter: Specification and Verification of Object-Oriented Programs. Habilitationsschrift; Technische Universität München, 1997.
  Postscript-Datei