Solving Generalized Equations Over Infinite Trees - Zdzislaw Habasinski (J. Inf. Process. Cybern., 1989)

Regular Automata and Model Checking - Zdzislaw Habasinski (CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings, 1988)

Decidability in Pratt's process logics - Zdzislaw Habasinski (Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, 1985)

Process Logics: Two Decidability Results - Zdzislaw Habasinski (Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings, 1984)

Model theory of propositional logics of programs, some open problems - Zdzislaw Habasinski (Computation Theory - Fifth Symposium, Zaborów, Poland, December 3-8, 1984, Proceedings, 1984)