1. H. Bekič, D. Bjørner, W. Henhapl, C.B. Jones, P. Lucas: A Formal Definition of a PL/I Subset. Technical Report 25.139, Vienna, Austria (1974)
2. D. Bjørner: Programming Languages: Formal Development of Interpreters and Compilers. In: International Computing Symposium 77 (North-Holland, Amsterdam, 1977) pp 1–21
3. D. Bjørner: Programming Languages: Linguistics and Semantics. In: International Computing Symposium 77 (North-Holland, Amsterdam, 1977) pp 511–536
4. D. Bjørner: Programming in the Meta-Language: A Tutorial. In: The Vienna Development Method: The Meta-Language, [120], ed by D. Bjørner, C.B. Jones (Springer, 1978) pp 24–217
5. D. Bjørner: Software Abstraction Principles: Tutorial Examples of an Operating System Command Language Specification and a PL/I-like On-Condition Language Definition. In: The Vienna Development Method: The Meta-Language, [120], ed by D. Bjørner, C.B. Jones (Springer, 1978) pp 337–374