A Specification Language for Multi-Domain Network and Distributed Systems Management - Cohrs, David L (University of Wisconsin-Madison Department of Computer Sciences, 1991)