PATTY, H. STRUKTUR KOALJABAR UNIVERSAL DALAM SISTEM STATE-BASED. BAREKENG: Jurnal Ilmu Matematika dan Terapan, v. 8, n. 1, p. 7-16, 1 mar. 2014.