Noah S. Prywes Yuan Shi Boleslaw K. Szymanski Jine S. Tseng Supersystem Programming with Model. 50-60 1986 19 IEEE Computer 2 db/journals/computer/computer19.html#PrywesSST86