T. Mohri E. Ono S. Uehara T. Takao H. Sato PDAS: An Assistant for Detailed Design and Implementation of Programs. 108-115 1984 ICSE db/conf/icse/icse84.html#MohriOUTS84