io-port 05602958 Boca, Paul P. (ed.); Bowen, Jonathan P. (ed.); Siddiqi, Jawed I. (ed.)

London: Springer (ISBN 978-1-84882-735-6/hbk; 978-1-84882-736-3/ebook). xxv, 273~p. EUR~79.95/net; SFR~124.50; \sterling~59.95 (2010).

io-port 05815602 Boca, Paul P.

High.-Order Symb. Comput. 22, No. 4, 299-303 (2009).

io-port 50252998 Black, Sue; Boca, Paul; Bowen, Jonathan P.; Gorman, Jason; Hinchey, Mike

IEEE Computer 42, No. 9, 37-45 (2009).

io-port 05364593 Woodcock, Jim; Boca, Paul

Börger, Egon (ed.) et al., Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16‒18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). Lecture Notes in Computer Science 5238, 378-379 (2008).

io-port 05350558 Börger, Egon (ed.); Butler, Michael (ed.); Bowen, Jonathan P. (ed.); Boca, Paul (ed.)

Lecture Notes in Computer Science 5238. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). xii, 382~p. EUR~79.95 (2008).

io-port 70992481 Woodcock, Jim; Boca, Paul

ABZ, 378-379 (2008).

io-port 70492236 Kambe, Takashi; Yamada, Akihisa; Nishida, Koichi; Okada, Kazuhisa; Ohnishi, Mitsuhisa; Kay, Andrew; Boca, Paul; Zammit, Vince; Nomura, Toshio

ASP-DAC, 151-155 (2001).