Optimization of the Raster-Scan Circle-Drawing Algorithm Based on Predicate Transformers Nedeljko Ostojić; Dušan Starčević — 2000 The Yugoslav Journal of Operations Research