TY - BOOK AU - Goto Eiichi ED - RIMS Symposia on Software Science and Engineering( 2nd : 1984 : Kyoto ) ED - RIMS Symposia on Software Science and Engineering 2nd TI - Software science and engineering : proceedings U1 - 5.1 PY - 1986/// CY - Berlin PB - Springer Verlag KW - Computer programming KW - Computer software ER -