Synchronization mechanisms for multimedia streams and their specification in timed LOTOS. - Zdzislaw Splawski (EUROMICRO, 1997)

Type Fixpoints: Iteration vs. Recursion. - Zdzislaw Splawski; Pawel Urzyczyn (ICFP, 1999)

Polymorphism - prose of Java programmers. - Zdzislaw Splawski (Ann. UMCS Informatica, 2006)