Complexity of Sorting by Distributive Partitioning. - Boguslaw L. Jackowski; Ryszard Kubiak; Stefan Sokolowski (Inf. Process. Lett., 1979)

A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft. - Andrzej M. Borzyszkowski; Ryszard Kubiak; Stefan Sokolowski (VDM Europe, 1988)

Introduction to programming with specifications - a mathematical approach. - Ryszard Kubiak; Roman Rudzinski; Stefan Sokolowski (Academic Press, 1991)

Implementing Projection-based Strictness Analysis. - Ryszard Kubiak; John Hughes 001; John Launchbury (Functional Programming, 1991)