John Van Tassel David Hemmendinger Specifying and Automatically Generating Ada Tasks in Prolog. 121-127 1990 ACM Conference on Computer Science http://doi.acm.org/10.1145/100348.100367 db/conf/acm/csc90.html#TasselH90