On Equivalence of Programs. - Jacek Leszczylowski (MFCS, 1974)

Mathematical Model of Programs with Dynamic Allocation of Variables. - Jacek Leszczylowski (MFCS, 1974)

Microprogram-Oriented Model of the Controlled Structure. - Igor Hansen; Jacek Leszczylowski (MFCS, 1976)

On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF. - Jacek Leszczylowski (AAAI, 1980)

An Experiment with "Edinburgh LCF". - Jacek Leszczylowski (CADE, 1980)

Edingburgh LCF Supporting FP Systems. - Jacek Leszczylowski (GI Jahrestagung, 1980)

On fundamentals of computer-aided design of firmware. - Igor Hansen; Jacek Leszczylowski (MICRO, 1980)

FP Systems in Edinburgh LCF. - Jacek Leszczylowski (ICFPC, 1981)

A system for reasoning within and about algebraic specifications. - Jacek Leszczylowski; Martin Wirsing (Symposium on Programming, 1982)

Logic Programming with External Procedures: Introducing S-Unification. - Jacek Leszczylowski; Staffan Bonnier; Jan Maluszynski (Inf. Process. Lett., 1988)

Prosper: A Language for Specification by Prototyping. - Jacek Leszczylowski; James M. Bieman (Comput. Lang., 1989)

Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. - Jacek Leszczylowski; Martin Wirsing (STACS, 1991)

Negation as Partial Failure. - Bamshad Mobasher; Jacek Leszczylowski; Don Pigozzi (LPNMR, 1993)

Procedures in Object-Oriented Query Languages. - Kazimierz Subieta; Yahiko Kambayashi; Jacek Leszczylowski (VLDB, 1995)

Updatable XML Views. - Hanna Kozankiewicz; Jacek Leszczylowski; Kazimierz Subieta (ADBIS, 2003)

Updateable Views for an XML Query Language. - Hanna Kozankiewicz; Jacek Leszczylowski; Kazimierz Subieta (CAiSE Short Paper Proceedings, 2003)

Implementing Mediators through Virtual Updateable Views. - Hanna Kozankiewicz; Jacek Leszczylowski; Kazimierz Subieta (EFIS, 2003)