A contribution to an improvement of PASCAL. - Michal Iglewski; Jan Madey; Stan Matwin (ACM SIGPLAN Notices, 1978)

Edison -N-an Edison Implementation for a Network of Microcomputers. - Cezary Dubnicki; Jan Madey; Wojciech Wygladala (Softw. Pract. Exp., 1988)

A Formal Approach to Computer Systems Requirements Documentation. - Marcin Engel; Marcin Kubica 001; Jan Madey; David Lorge Parnas; Anders P. Ravn; A. John van Schouwen (Hybrid Systems, 1992)

Documentation of requirements for computer systems. - A. John van Schouwen; David Lorge Parnas; Jan Madey (RE, 1993)

Functional approach to protocols specification. - Jakub Bojanowski; Michal Iglewski; Jan Madey; Abdellatif Obaid (PSTV, 1994)

Precise Documentation of Well-Structured Programs. - David Lorge Parnas; Jan Madey; Michal Iglewski (IEEE Trans. Software Eng., 1994)

Trace Specifications of Non-Deterministic Multi-Object Modules. - Michal Iglewski; Marcin Kubica 001; Jan Madey (ASIAN, 1995)

Functional Documents for Computer Systems. - David Lorge Parnas; Jan Madey (Sci. Comput. Program., 1995)

Foreword. - Jan Madey; Andrzej Tarlecki; Wladyslaw M. Turski (Sci. Comput. Program., 1997)

Foreword. - José Luiz Fiadeiro; Jan Madey; Andrzej Tarlecki (Inf. Process. Lett., 2003)

WMT - from a personal perspective. - Jan Madey (Inf. Process. Lett., 2003)

From Top Coders to Top IT Professionals. - Krzysztof Diks; Jan Madey (ISSEP, 2008)

E-learning versus T-learning. - Jan Madey; Leszek Rudak (Bio Algorithms Med Syst., 2009)