TY - BOOK AU - Onodera, Tamiya AU - Kawai, Satoru TI - Formal Model of Visualization in Computer Graphics Systems SN - 3540523952 CY - Berlin KW - Formal Model KW - Visualization KW - Computer Graphics Systems ER -