Cinderella SLIPPER: An SDL to C-Code Generator. - Yosef Rauchwerger; Finn Kristoffersen; Yair Lahav (SDL Forum, 2005)