Howard Bowman Maarten Steen Eerke A. Boiten John Derrick A Formal Framework for Viewpoint Consistency. 111-166 2002 21 Formal Methods in System Design 2 db/journals/fmsd/fmsd21.html#BowmanSBD02