TY - BOOK AU - Goto Eiichi ED - RIMS Symposia on Software Science and Engineering( 1982 : Kyoto ) ED - RIMS Symposia on Software Science and Engineering TI - Software science and engineering : proceedings SN - 3-540-11980-9 U1 - 5.1 PY - 1983/// CY - Berlin PB - Springer Verlag KW - Computer programming KW - Computer software ER -