VIPER - Correspondence Between the Specification and the "Major State Machine". Report 86004, Royal Signals and Radar Establishment (1986)

by W J Cullyer