This selection and arrangement of content as a collection is copyrighted by Matthias Felleisen, John Grenier, Moshe Vardi, Phokion Kolaitis and Ian Barland under the Creative Commons Attribution-ShareAlike 4.0 International License (http://creativecommons.org/licenses/by-sa/4.0/). Collection structure revised: January 29, 2008.