TY - BOOK AU - Royer J S TI - Connotational theory of program structure SN - 3-540-18253-5 U1 - 005.3 PY - 1987/// CY - Berlin PB - Springer Verlag KW - Connotational theory ER -