Formal Specification of Telephone Features. - Peter Mataga; Pamela Zave (Z User Workshop, 1994)

Using Z to specify telephone features. - Peter Mataga; Pamela Zave (Inf. Softw. Technol., 1995)

A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. - Mark A. Ardis; John A. Chaves; Lalita Jategaonkar Jagadeesan; Peter Mataga; Carlos Puchol; Mark G. Staskauskas; James Von Olnhausen (IEEE Trans. Software Eng., 1996)

Experience with a Domain Specific Language for Form-based Services. - David L. Atkins; Thomas Ball 001; Michael Benedikt; Glenn Bruns; Kenneth C. Cox; Peter Mataga; Kenneth Rehor (DSL, 1997)

Integrated web and telephone service creation. - David L. Atkins; Thomas Ball 001; Thomas R. Baran; Michael Benedikt; Kenneth C. Cox; David A. Ladd; Peter A. Mataga; Carlos Puchol; J. Christopher Ramming; Kenneth Rehor; Curtis Tuckey (Bell Labs Tech. J., 1997)

Features as Service Transformations. - Glenn Bruns; Peter Mataga; Ian Sutherland (FIW, 1998)

Edge Profiling versus Path Profiling: The Showdown. - Thomas Ball 001; Peter Mataga; Shmuel Sagiv (POPL, 1998)

Speech-enabled services using TelePortalTM software and VoiceXMLstar. - Thomas Ball 001; Veta Bonnewell; Peter J. Danielsen; Peter Mataga; Kenneth Rehor (Bell Labs Tech. J., 2000)

Automated software development with XML and the Java* language. - Glenn Bruns; Alan E. Frey; Peter Mataga; Susan J. Tripp (Bell Labs Tech. J., 2000)

Sisl: Several Interfaces, Single Logic. - Thomas Ball 001; Christopher Colby; Peter J. Danielsen; Lalita Jategaonkar Jagadeesan; Radha Jagadeesan; Konstantin Läufer; Peter Mataga; Kenneth Rehor (Int. J. Speech Technol., 2000)