Short works
- Integrating Formal Methods into a Professional Master of Software Engineering Program. 1994. (In 8th Z User Workshop )
- Formal Specification of an Architecture for a Family of Instrumentation Systems. 1995. (In Applications of Formal Methods )
- Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework. 1999. (In FM'99 volume 2 )