Computing science : determining the specification of a control system : an illustrative example /
Coleman, J. W.
University of Newcastle upon Tyne.
Newcastle : University of Newcastle upon Tyne,
2006.
Title from cover.
"June 2006"