Axiomatic Approach to Side Effects and General Jumps. - Tomasz Kowaltowski (Acta Informatica, 1977)

Data Structures and Correctness of Programs. - Tomasz Kowaltowski (J. ACM, 1979)

Parameter Passing Mechanisms and Run Time Data Structures. - Tomasz Kowaltowski (Softw. Pract. Exp., 1981)

Another Solution of the Mutual Exclusion Problem. - Tomasz Kowaltowski; Antonio Palma (Inf. Process. Lett., 1984)

On Open Arrays and Variable Number of Parameters. - Claudio Sergio Da Rós de Carvalho; Tomasz Kowaltowski (Comput. Lang., 1992)

Applications of Finite Automata Representing Large Vocabularies. - Claudio L. Lucchesi; Tomasz Kowaltowski (Softw. Pract. Exp., 1993)