"A knowledge-based software environment (KBSE) for designing concurrent ..."

Phillip C.-Y. Sheu, Song Bong Yoo (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics