Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning. - André Luis Silva; Manoel Messias Menezes; Leila Silva (WMF, 2003)