WinGCLC: a workbench for formally describing figures. - Predrag Janicic; Ivan Trajkovic (SCCG, 2003)