Peter Mataga, Pamela Zave: Using Z to specify telephone features. Inf. Softw. Technol. 37(5-6): 277-283 (1995)