TY  - BOOK
AU  - Royer James S
TI  - Connotational theory of program structure
T2  - Lecture notes in computer science; 273
U1  - D65,8(B)92, M7 
PY  - 1987///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
ER  -