SCCocc2: A C To 0ccam2 Translator And Parallelizer. - Raúl García; Antonio Orgaz; Sadot Alexandres (PDP, 1994)