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