APA সাইটেশন

Andrew W Appel. (2014). Program Logics for Certified Compilers. CUP.

শিকাগো স্টাইলে সাইটেশন

Andrew W Appel. Program Logics for Certified Compilers. CUP, 2014.

এমএলএ সাইটেশন

Andrew W Appel. Program Logics for Certified Compilers. CUP, 2014.

সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.