Hermawan, Setiadi (0827020) (2011) Perancangan Perangkat Lunak Penyederhanaan Persamaan Digital Sequental Menggunakan OBDD (Ordered Binary Decision Diagram). Undergraduate thesis, Universitas Kristen Maranatha.