A Burns, RF Lutje Spelberg, WJ Toetenel, T Vink (1999), Modeling and verification using XTG and PMC, M Boasson, JA Kaandorp, JFM Tonino, MG Vosselman (Eds.), In ASCI'99: proceedings p.251-258, Advanced School for Computing and Imaging.

E Anderson, J van Katwijk, J Zalewski (1999), New method of improving software safety in mission-critical real-time systems, In System safety at the dawn of a new millennium: proceedings p.587-596, System Safety Society.

G Bandini, RF Lutje Spelberg, WJ Toetenel (1999), Parametric model-checking in PMC, B Victor, Wang Yi (Eds.), In NWPT'99: proceedings (Technical report 1999-008) p.14-15, Uppsala Universitet.

S Stuurman (1999), Software architecture and Java beans, P Donohoe (Eds.), In WICSA1 p.183-200, Kluwer.

J van Katwijk, WJ Toetenel (1999), Software engineering, TMA Bemelmans, de PME Bra, M Looijen, van G Oortmerssen (Eds.), In ICT-zakboekje p.1005-1018, Koninklijke PBNA.

WJ Toetenel, J van Katwijk (1999), Softwareontwerp en -realisatie, TMA Bemelmans, de PME Bra, M Looijen, van G Oortmerssen (Eds.), In ICT-zakboekje p.1019-1033, Koninklijke PBNA.

A Shah, J Sosnowski, J van Katwijk, J Zalewski (1999), Web-based course on software quality assurance: perspectives on intercontinental learning [alleen op CD-ROM verschenen], R Farana (Eds.), In ICEE'99 proceedings: process through partnership: strengthening alliances p.1-9, s.n..