Yu Lo, L. L. (2013). Verification of Transaction Level Models of Embedded Systems. Universidad de Costa Rica.
Čikaški stil citiranja (17. izdanje)Yu Lo, Lucky Lochi. Verification of Transaction Level Models of Embedded Systems. Universidad de Costa Rica, 2013.
MLA način citiranja (9. izdanje)Yu Lo, Lucky Lochi. Verification of Transaction Level Models of Embedded Systems. Universidad de Costa Rica, 2013.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.