Redirecting..
https://www.cs.umd.edu/class/spring2003/cmsc838p/Design/criteria.pdf