Peter Mataga Pamela Zave Formal Specification of Telephone Features. 29-50 1994 Z User Workshop db/conf/zum/zum1994.html#MatagaZ94