Short works
- Language-free mathematical methods for software design (extended abstract). 1995. (In ZUM '95 )
- Teaching Programming as Engineering. 1995. (In ZUM '95 )
- Using Mathematical Models in the Inspection of Critical Software. 1995. (In Applications of Formal Methods )