Modular Approach to the Logical Theory of Programs. - Lech Banachowski (MFCS, 1974)

On proving program correctness by means of stepwise refinement method. - Lech Banachowski (Logic of Programs, 1980)

A Complement to Tarjan's Result about the Lower Bound on the Complexity of the Set Union Problem. - Lech Banachowski (Inf. Process. Lett., 1980)

Analysis of algorithms and data structures. - Lech Banachowski; Antoni Kreczmar; Wojciech Rytter (Addison-Wesley, 1991)

An Efficient Tool for Online Assessment at the Polish-Japanese Institute of Information Technology. - Pawel Lenkiewicz; Malgorzata Rzeznik; Lech Banachowski (CSEDU (2), 2010)

Development of the E-Learning System Supporting Online Education at the Polish-Japanese Institute of Information Technology. - Pawel Lenkiewicz; Lech Banachowski; Jerzy Pawel Nowacki (Advances in Intelligent Information and Database Systems, 2010)