Capsules and Types in Fresco: Program Verification in Smalltalk. - Alan Wills (ECOOP, 1991)

Specification in Fresco. - Alan Wills (Object Orientation in Z, 1992)

Frameworks and Component-Based Development. - Alan Wills (OOIS, 1996)

Frameworks in Catalysis: Pictorial Notation and Formal Semantics. - Kung-Kiu Lau; Mario Ornaghi; Alan Wills (ICFEM, 1997)

Collaboration Frameworks. - Desmond D'Souza; Alan Wills (J. Object Oriented Program., 1997)

Interacting Frameworks in Catalysis. - Kung-Kiu Lau; Shaoying Liu; Mario Ornaghi; Alan Wills (ICFEM, 1998)

Modeling for Component Based Development in UML/Catalysis. - Alan Wills (CADUI, 1999)

Formal specification of Catalysis frameworks. - Juliana Küster Filipe; Kung-Kiu Lau; Mario Ornaghi; Kenji Taguchi 001; Hirokazu Yatsu; Alan Wills (APSEC, 2000)

Catalytic Modeling: UML meets XP. - Alan Wills (pUML, 2001)