A C-based synthesis system, Bach, and its application (invited talk). - Takashi Kambe; Akihisa Yamada 001; Koichi Nishida; Kazuhisa Okada; Mitsuhisa Ohnishi; Andrew Kay; Paul Boca; Vince Zammit; Toshio Nomura (ASP-DAC, 2001)

ABZ2008 VSR-Net Workshop. - Jim Woodcock 001; Paul Boca (ABZ, 2008)

Formal Versus Agile: Survival of the Fittest. - Sue Black 001; Paul Boca; Jonathan P. Bowen; Jason Gorman; Mike Hinchey (Computer, 2009)

Editorial. - Paul Boca; Raymond T. Boute; David Duce; José Nuno Oliveira (Formal Aspects Comput., 2009)

Personal recollections of Peter Landin: 1987-2009. - Paul Boca (High. Order Symb. Comput., 2009)