David Hunter;Jeff Rafter;Joe Fawcett;Eric van der Vlist;Danny Ayers;Jon Duckett;Andrew Watt;Linda McKinnon
-;-;-;-;-;-;-;-
Theorem prover approach to semistructured data design
Formal Methods in System Design