https://bookem.ir/books/1741451-Computer-aided-reasoning-ACL2-case-studies