Author: Conference on Software for Control University of Warwick 1973.