An automatic software generator in the design of reliable procedural programs. - Monica Alderighi; A. Conni; Lauro Mantoani; Giacomo R. Sechi (Microprocess. Microprogramming, 1989)