K. Broda, J. Ma, G. Sinadurai and A.J. Summers, Pandora: A Reasoning Toolbox using Natural Deduction Style, Logic Journal of the IGPL 15:293-304, 2007
K. Broda, J. Ma, G. Sinnadurai and A. Summers, Friendly e-tutor for Natural Deduction, Proceedings Teaching Formal methods Practice and Experience, BCS-FACS, London, December 2006.
Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai and Alex Summers, Pandora - Natural Deduction made Easy, Proc. of Second International Congress on Tools for Teaching Logic Univ. of Salamanca, Spain ( 2006)
Krysia Broda and Silvana Zappacosta, New Pandora, Invited Talk, First International Congress on Tools for Teaching Logic Univ. of Salamanca, Spain ( 2000)
Krysia Broda, Proof Systems - A Vademecum. Invited Foundation Course at ESSLLI 2000, Birmingham. (ESSLLI is European Summer School on Logic Language and Information). http://www.esslli2000@cs.bham.ac.uk
Krysia Broda and David Mole. Fault-finding in a commercial requirements document as a student project for Z specification, in 4th CTI Conf. On the teaching of Computing, Dublin. (1996)
Krysia Broda, Susan Eisenbach and Lloyd Kamara. Tool Support for Natural Deduction, in Proc. ACSE96, CACM. (1996) .ps.Z version.
Krysia Broda, Susan Eisenbach, Hessam Khoshnevisan and Steve Vickers. Reasoned Programming, Prentice Hall International. (1994)
Krysia Broda.Unification and Natural Deduction, available from me. (1994)
Krysia Broda, Susan Eisenbach and Steve Vickers.Can Formal Methods help students learn to write elegant and correct programs?, in Developments in the Teaching of Computer Scence, Univ. of Kent. (1992)