Phillip C.-Y. Sheu: Knowledge-Based Parallel Programming. ISMIS 1987: 272-279