TY  - BOOK
AU  - Wagner, Marc.
TI  - A change-oriented architecture for mathematical
U1  - 720.0151 
PY  - 2011///
CY  - Heidelberg
PB  - IOS
N1  - includes bibliography, reference and index
ER  -