A knowledge-based approach for the development of concurrent software. - G. D. Tziallas; S. Karkanis; K. Tsoutsou (Microprocessing and Microprogramming, 1991)