Algorithm 263 Gomory 1 [H]. - Hans Langmaack (Commun. ACM, 1965)

Application of Regular Canonical Systems to Grammars Translatable from Left to Right. - Hans Langmaack (Acta Informatica, 1971)

Verbandstheoretische Einbettung von Klassen unwesentlich verschiedener Ableitungen in die Zopfgruppe. - Hans Langmaack (Computing, 1971)

Informatik - Programmierung. - Peter Kandzia; Hans Langmaack (Teubner, 1973)

On Correct Procedure Parameter Transmission in Higher Programming Languages - Hans Langmaack (Acta Informatica, 1973)

On Procedures as Open Subroutines. I - Hans Langmaack (Acta Informatica, 1973)

Zum Begriff der Modularität von Programmierungssprachen. - Hans Langmaack (Fachtagung über Programmiersprachen, 1974)

On Procedures as Open Subroutines. II. - Hans Langmaack (Acta Informatica, 1974)

Hauptvortrag: Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik? - Hans Langmaack (Automata Theory and Formal Languages, 1975)

On a theory of decision problems in programming languages. - Hans Langmaack (Mathematical Studies of Information Processing, 1978)

The Formal Termination Problem for Programs with Finite ALGOL 68-Modes. - Hans Langmaack; Wolfram-Manfred Lippe; Franz Wagner (Inf. Process. Lett., 1979)

Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. - Hans Langmaack; Ernst-Rüdiger Olderog (ICALP, 1980)

On Termination Problems for Finitely Interpreted ALGOL-like Programs. - Hans Langmaack (Acta Informatica, 1982)

Apects of Programs With Finite Modes. - Hans Langmaack (FCT, 1983)

Characterization of Acceptable by ALGOL-Like Programming Languages. - Ch. Crasemann; Hans Langmaack (Logic of Programs, 1983)

Concatenation of program modules an algebraic approach to the semantic and implementation problems. - Manfred Krause; Hans Langmaack; Antoni Kreczmar; Marek Warpechowski (Symposium on Computation Theory, 1984)

Provably Correct Compiler Development and Implementation. - Bettina Buth; Karl-Heinz Buth; Martin Fränzle; Burghard von Karger; Yassine Lakhnech; Hans Langmaack; Markus Müller-Olm (CC, 1992)

The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods. - Jean-Raymond Abrial; Egon Börger; Hans Langmaack (Formal Methods for Industrial Applications, 1995)

Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification. - Hans Langmaack (Foundations of Computer Science: Potential - Theory - Cognition, 1997)

Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Ubersetzerkorrektheit. - Hans Langmaack (Informationstechnik Tech. Inform., 1997)

The ProCoS Approach to Correct Systems. - Hans Langmaack (Real Time Syst., 1997)

Klaus Samelsons frühe Beitraege zur Informatikentwicklung - Historische Notiz. - Hans Langmaack (Inform. Spektrum, 2002)

An ALGOL-View on Turbo ASM. - Hans Langmaack (Abstract State Machines, 2004)

Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding. - Hans Langmaack (Essays in Memory of Ole-Johan Dahl, 2004)

What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?: Auf Deutsch: Welche Art mathematischer Argumentation darf die Informatikwissenschaft einem Softwareimplementierer auf jeden Fall zumuten? - Hans Langmaack (COCV@ETAPS, 2005)

On Revival of Algol-Concepts in Modern Programming and Specification Languages. - Hans Langmaack (Formal Methods and Hybrid Real-Time Systems, 2007)

A Deterministic Algorithm for Identifying Direct Superclasses in Java. - Hans Langmaack; Andrzej Salwicki; Marek Warpechowski (Fundam. Informaticae, 2008)

On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions. - Hans Langmaack; Andrzej Salwicki; Marek Warpechowski (Inf. Comput., 2009)

On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. - Hans Langmaack (Concurrency, Compositionality, and Correctness, 2010)

Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 1: Die Kopenhagener Diskussion und deren Folgen. - Hans Langmaack (Inform. Spektrum, 2010)

Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 2: "Most recent"-Eigenschaft eines Programms. - Hans Langmaack (Inform. Spektrum, 2010)

Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 3: Zu Laufzeitsystemkorrektheit und Auswirkungen von Dijkstras Aussage. - Hans Langmaack (Inform. Spektrum, 2010)

Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce. - Hans Langmaack; Andrzej Salwicki (Fundam. Informaticae, 2013)

Friedrich L. Bauers und Klaus Samelsons Arbeiten in den 1950er-Jahren zur Einführung der Begriffe Kellerprinzip und Kellerautomat. - Hans Langmaack (Keller, Stack und automatisches Gedächtnis, 2014)

Manfred Paul (1932-2021). - Hans Langmaack; Gunther Schmidt 001 (Inform. Spektrum, 2022)