Formalization of storage properties. - Hans Bekic; Kurt Walk (Symposium on Semantics of Algorithmic Languages, 1971)

Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth. - Hans Bekic (Programming Languages and Their Definition, 1984)

The Assignment to a Type Procedure Identifier in ALGOL 60. - Hans Bekic (Programming Languages and Their Definition, 1984)

The Meaning of Names in PL/I. - Hans Bekic (Programming Languages and Their Definition, 1984)

Defining a Language in its Own Terms. - Hans Bekic (Programming Languages and Their Definition, 1984)

Note on Some Problems Concerning the PL/I Manual and its Rewriting. - Hans Bekic (Programming Languages and Their Definition, 1984)

Definable Operation in General Algebras, and the Theory of Automata and Flowcharts. - Hans Bekic (Programming Languages and Their Definition, 1984)

On the formal Definition of Programming Language. - Hans Bekic (Programming Languages and Their Definition, 1984)

Mathematical Semantics and Compiler Correctness. - Hans Bekic (Programming Languages and Their Definition, 1984)

Towards a Mathematical Theory of Processes. - Hans Bekic (Programming Languages and Their Definition, 1984)

From comments arising from a lecture in Amsterdam, June 1972. - Hans Bekic (Programming Languages and Their Definition, 1984)

The Semantics of Parallel Processing. - Hans Bekic (Programming Languages and Their Definition, 1984)

Nondeterministic Functions and the Semantics of CSP. - Hans Bekic (Programming Languages and Their Definition, 1984)

Nondeterministic Programs: An Example. - Hans Bekic (Programming Languages and Their Definition, 1984)

A Model of Nondeterminism: Indexed Sets and Their Equivalence. - Hans Bekic (Programming Languages and Their Definition, 1984)

On the Formal Definition of a PL/I Subset (Selected parts). - Hans Bekic; Dines Bjørner; Wolfgang Henhapl; Cliff B. Jones; Peter Lucas 001 (Programming Languages and Their Definition, 1984)

Formalization of Storage Properties. - Hans Bekic; Kurt Walk (Programming Languages and Their Definition, 1984)