%A Barbara H. Liskov
%A Valdis Berzins
%T An appraisal of program specifications
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 3-23

%A Robert tBalzer
%A Neil Goldman
%T Principles of good software specification
and their implications for specification languages
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 25-39

%A William Swartout
%A Robert Balzer
%T On the inevitable intertwining of specification and implementation
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 41-45

%A Joseph A. Goguen
%T More thoughts on specification and verification
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 47-52

%A John Guttag
%T Notes on type abstraction
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 55-74

%A D.L. Parnas
%T A technique for software module specification with examples
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 75-88

%A C.B. Jones
%T Systematic program development
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 89-108

%A Wolfram Bartussek
%A David L. Parnas
%T Using assertions about traces
to write abstract specifications for software modules
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 111-130

%A Pamela Zave
%T An operational approach to requirements specification for embedded systems
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 131-169

%A Narain Gehani
%T Specifications: formal and informal - a case study
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 173-185

%A John Guttag
%A J.J. Horning
%T Formal specification as a design tool
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 187-207

%A Robert J.K. Jacob
%T Using formal specifications in the design of a human-computer interface
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 209-222

%A Bernard Sufrin
%T Formal specification of a display-oriented text editor
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 223-266

%A Prabhaker Mateti
%T A specification schema for indenting programs
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 269-288

%A Martin S. Feather
%T Program specification applied to text formatter
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 289-301

%A Carl A. Sunshine
%A David H. Thompson
%A Roddy W. Erickson
%A Susan L. Gerhart
%A Daniel Schwabe
%T Specification and verification of communication protocols in AFFIRM
using state transition models
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 303-338

%A Pamel Zave
%A Raymond T. Yeh
%T Executable requirements for embedded systems
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 341-360

%A R.M. Burstall
%A J.A. Goguen
%T An informal introduction to specifications using CLEAR
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 363-389

%A Joseph A. Goguen
%A Joseph J. Tardo
%T An introduction to OBJ:
a language for writing and testing formal algebraic program specifications
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 391-419

%A Allen L. Ambler
%A Donald L. Good
%A James C. Browne
%A Wilhelm F. Burger
%A Richard M. Cohen
%A Charles G. Hoch
%A Robert E. Wells
%T GYPSY: A language for specification and implementation of verifiable programs
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 421-440

%A A. Klausner
%A T.E. Konchan
%T Rapid prototyping and requirements specification using PDS
%B Software specification techniques
%E N. Gehani
%E D. McGettrick
%S International Computer Science Series
%I Addison-Wesley
%C Reading, Massachusetts
%D 1986
%P 441-454