Author: Conference on Software Engineering for Telecommunication Switching Systems, University of Essex 1973