TY  - BOOK
AU  - Diaz J
AU  -  Ramos I
ED  - International collquium on formalization of programming concepts (1981 : Spain)
TI  - Proceedings on fromalization of programming concepts
T2  - Lecture notes in computer science; 107
U1  - B2893Pp1,N81, M1 
PY  - 1981///
CY  - Berlin
PB  - Springer - Verlag       
KW  - optimization
ER  -