Programming the Internet with Java

The computer

Software engineering

The Software life cycle

An introduction to discrete mathematics and formal system specification

1988

An introduction to discrete mathematics, formal system specification, and Z

1992

An introduction to software quality assurance and its implementation

1994