Altanijah, Julian Fetriandhy (2008) Piranti lunak untuk mendesain program dalam bahasa pemrograman C berdasarkan Hoare Logic. Bachelor thesis, Universitas Pelita Harapan.