@incollection{mataga,
	author={Peter Mataga,Pamela Zave},
	booktitle={Applications of Formal Methods},
	publisher={Prentice Hall Intl.},
	title={Multiparadigm specification of an {AT\&T} switching system},
	year=1995,
}