Yeh, Raymond Tzuu–Yau
Monografia (1973) Introduction to discrete structures for computer science and engineering
Monografia (1977) Vol. 1: Software specification and design
Monografia (1977) Vol. 2: Program validation
Monografia (1978) Tutorial: software methodology : initially presented at COMPSAC78, The Palmer House, Chicago, Illinois
Monografia (1978) Vol. 3: Software modeling