The Use of High-Level 3-D Graphical Types in the Mira Animation System | IEEE Journals & Magazine | IEEE Xplore