Meeting of the Association for Symbolic Logic Warsaw 1968. - Andrzej Mostowski; Andrzej Blikle (J. Symb. Log., 1969)

Addressless Units for Carrying Out Loop-Free Computations. - Andrzej Blikle (J. ACM, 1972)

Equational Languages - Andrzej Blikle (Inf. Control., 1972)

An Algebraic Approach to Programs and Their Computations. - Andrzej Blikle (MFCS, 1973)

Proving Programs by Sets of Computations. - Andrzej Blikle (MFCS, 1974)

Proving programs by delta-relations. - Andrzej Blikle (J. Inf. Process. Cybern., 1975)

Certification of microprograms by an algebraic method. - Andrzej Blikle; Stanislaw Budkowski (MICRO, 1976)

An Analytic Approach to the Verification of Iterative Programs. - Andrzej Blikle (IFIP Congress, 1977)

Towards Mathematical Structured Programming. - Andrzej Blikle (Formal Description of Programming Concepts, 1977)

A Comparative Review of Some Program Verification Methods. - Andrzej Blikle (MFCS, 1977)

Specified programming. - Andrzej Blikle (Mathematical Studies of Information Processing, 1978)

Assertion Programming. - Andrzej Blikle (MFCS, 1979)

The Clean Termination of Iterative Programs. - Andrzej Blikle (Acta Informatica, 1981)

On the Development of Correct Specified Programs. - Andrzej Blikle (IEEE Trans. Software Eng., 1981)

Session Discussion. - Andrzej Blikle (Formal Description of Programming Concepts, 1982)

Naive Denotational Semantics. - Andrzej Blikle; Andrzej Tarlecki (IFIP Congress, 1983)

MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics - Andrzej Blikle (Springer, 1987)

Denotational Engineering or from Denotations to Syntax. - Andrzej Blikle (VDM Europe, 1987)

A Guided Tour of the Mathematics of MetaSoft'88. - Andrzej Blikle (Inf. Process. Lett., 1988)

Denotational Engineering. - Andrzej Blikle (Sci. Comput. Program., 1989)

On Conservative Extensions of Syntax in the Process of System Development. - Andrzej Blikle; Mikkel Thorup (VDM Europe, 1990)

Three-valued predicates for software specification and validation. - Andrzej Blikle (Fundam. Informaticae, 1991)

A three-valued logic for software specification and validation. - Beata Konikowska; Andrzej Tarlecki; Andrzej Blikle (Fundam. Informaticae, 1991)

On Conservative Extensions of Syntax in System Development. - Andrzej Blikle; Andrzej Tarlecki; Mikkel Thorup (Theor. Comput. Sci., 1991)

Why Denotational? Remarks on Applied Denotational Semantics. - Andrzej Blikle (Fundam. Informaticae, 1996)

An Experiment with a User Manual of a Programming Language Based on a Denotational Semantics. - Andrzej Blikle (CoRR, 2019)

An Experiment with Denotational Semantics. - Andrzej Blikle (SN Comput. Sci., 2020)

Denotational Engineering - Call for Participation. - Andrzej Blikle (ERCIM News, 2023)