[1] P. Brezány: Towards Development and Application of the Functional Formal Semantics Theory to Some Elements of Modern Programming Languages. (in Slovak). Ph. D. Dissertation, Faculty of Electrical Engineering, Slovak Technical University, Bratislava 1979.

[2] P. Brezány, L. Ščepánek: Denotational semantics and compiler generation of parallel programming languages. In: Zborník seminára "Moderní programování", Tatranská Lomnica 1980, 11-20.

[3] P. Brinch Hansen: The programming language Concurrent Pascal. In: Language Hierarchies and Interfaces (F. L. Bauer, K. Samelson, eds.), Springer-Verlag, Berlin-Heidelberg-New York 1976, 82-110.

[4] M. J. C. Gordon: The Denotational Description of Programming Languages. Springer-Verlag, Berlin-Heidelberg-New York 1979. Zbl 0412.68004

[5] G. T. Ligler: Proof Rules, Mathematical Semantics, and Programming Language Design. Ph. D. Dissertation, Oxford University, 1975.

[6] R. E. Milne: The Formal Semantics of Computer Languages and Their Implementations. Ph. D. Dissertation, Cambridge University, 1974.

[7] R. E. Milne, C. Strachey: A Theory of Programming Language Semantics. Chapman and Hall, London 1976. Zbl 0357.68004

[8] D. Scott, C. Strachey: Toward a mathematical semantics for computer languages. In: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, 1972.