TY - BOOK AU - Onodera Tamiya AU - Kawai Satoru TI - Formal model visualization in computer graphics systems SN - 3-540-52395-2 U1 - 006.6 PY - 1990/// CY - Berlin PB - Springer Verlag KW - Computer graphics KW - Computer science ER -