Engineering

To China for Steam

By ROBERT ADLEY

Formal Object Oriented Specification Using Object-Z

By Roger Duke, Gordon Rose

Essence Systems Analysis Techniques

By Gary Griffiths