Added references to Agda and Z3