Colin Atkinson Philipp Bostan Gergana Deneva Marcus Schumacher Towards High Integrity UDDI Systems. 350-361 2009 BIS (Workshops) http://dx.doi.org/10.1007/978-3-642-03424-4_43 conf/bis/2009w db/conf/bis/bisw2009.html#AtkinsonBDS09