Gary T. Leavens is a professor of computer science at Iowa State University. See http://www.cs.iastate.edu/~leavens/ ---- CategoryHomePage