ControlH: an algorithm specification language and code generator - Englehart, M.; Jackson, M. (IEEE control systems, 1995)
Keywords: Algorithm design and analysis; Automatic control; Decision support systems; Integral equations; Navigation; Software algorithms; Software architecture; Software tools; Specification languages; Switches