Havsa, Irene Ully. “UTILISING BTTRACE VISUALISER AND LTL FORMULAE PATTERNS FOR ANALYSING COUNTEREXAMPLE”. Jurnal Ilmu Komputer dan Informasi 6, no. 1 (October 21, 2013): 11–16. Accessed April 15, 2025. https://jiki.cs.ui.ac.id/index.php/jiki/article/view/212.