1. Aczel, J., Fung, P., Bornat, R., Oliver, M., O’Shea, T., Sufrin, B.: Using computers to learn logic: undergraduates’ experiences. In: Advanced Research in Computers and Communications in Education, pp. 875–882 (1999)
2. Almeida, A.A., Rocha-Oliveira, A.C., Ramos, T.M.F., de Moura, F.L.C., Ayala-Rincón, M.: sorting: a PVS Theory for sorting algorithms (2019).
https://github.com/nasa/pvslib/tree/master/sorting
- NASA Langley Research Center PVS libraries. Accessed Aug 2019
3. Undergraduate Topics in Computer Science;M Ayala-Rincón,2017
4. Barwise, J., Etchemendy, J.: The Language of First-Order Logic Including the Macintosh Version of Tarski’s World 4.0. Monograph Collection (1993)
5. Lecture Notes in Computer Science;R Bornat,1997