Publication TypeBook AuthorsHolzmann, Gerard J. SourcePrentice Hall, Englewood Cliffs, NJ (1988) Keywordsbibliographic