Verified programming in Guru. - Aaron Stump; Morgan Deters; Adam Petcher; Todd Schiller; Timothy W. Simpson (PLPV, 2009)