Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
André Luis Silva, Manoel Messias Menezes, Leila Silva. Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning. Electronic Notes in Theoretical Computer Science, 95:63-82, 2004. [doi]