Frank S. de Boer Marcello M. Bonsangue Joost Jacob Andries Stam Leendert W. N. van der Torre A Logical Viewpoint on Architectures. 73-83 2004 conf/edoc/2004 EDOC http://csdl.computer.org/comp/proceedings/edoc/2004/2214/00/22140073abs.htm db/conf/edoc/edoc2004.html#BoerBJST04