Murayama, Yuko; (1992) Configuration detection and verification in computer networks. Doctoral thesis (Ph.D), UCL (University College London).