Reasoning about Java Classes (Preliminary Report). - Bart Jacobs 001; Joachim van den Berg; Marieke Huisman; Martijn van Berkum (OOPSLA, 1998)

A Combined Runtime Environment and Web-Based Development Environment for Web Application Engineering. - Martijn van Berkum; Sjaak Brinkkemper; Arthur Meyer (CAiSE, 2004)