Semi-automatic guided synthesis of concurrent systems specifications. - G. Leon; J. Cea; A. de la Fuente; F. Rodriguez (Microprocess. Microprogramming, 1987)