Current trends in programming methodology: Software specification and design - Yeh Raymond T Ed. (Englewood Prentice Hall, 1977)
Includes appendix