[1] | A Provable Correct Translation of the λ-Calculus into a Mathematical Model of C++, Rose Hafsah Ab. Rauf, Ulrich Berger, Anton Setzer, Theory of Computational System, 43:298-321, Springer, 2008. |
[2] | Integrating Functional Programming Into C++: Implementation and Verfication, Rose Hafsah Ab. Rauf, Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CIE 2006, Swansea, UK, Jun/Jul 2006 |
[3] | Functional Concepts in C++, Rose Hafsah Ab. Rauf, Ulrich Berger, Anton Setzer, In: Henrik Nilsson (Ed): Trends in Functional Programming, Intellect, Bristol & Chicago, 2007. |
[4] | IT Kini, Zainab Abu Bakar, Rose Hafsah Ab. Rauf et. al., McGraw-Hill (Malaysia) Sdn. Bhd, 2003. |
[5] | Panduan dan Sumber Pengkomputeran, Azizi NgahTasir, Rose Hafsah Ab. Rauf et. al, McGraw-Hill (Malaysia), 2002. |
[6] | Asas Pengkomputeran, Azizi Ngah Tasir, Rose Hafsah Ab. Rauf et. al., ACE, McGraw-Hill (Malaysia), 2000. |
[7] | Asas Pengkomputeran, Timothy J. O. Leary, Linda I. O' Leary, Rose Hafsah Ab.Rauf et. al., McGraw-Hill (Malaysia), 2000. |
[8] | Computer Problem Solving: From Algorithm To Implementation book still in progress of writing. |