Determining the specification of a control system from that of its environment /
Hayes, Ian.
Jackson, M. A.
Jones, C. B.(Cliff B.),1944-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2003.
Caption title.
"July 2003".