TY  - BOOK
AU  - Bloom, Stephen L.
AU  - Esik, Zoltan.
TI  - Iteration Theories: Equational Logic of Iterative Processes
SN  - 0 387 56378 4
CY  - Berlin
KW  - Computer Science - Mathematics
KW  - Iterative Methods (Mathematics)
KW  - Logic, Symbolic and Mathematical
ER  -