A Translation-based Approach to the Verification of Modular Equivalence | UPT Perpustakaan UHAMKA