Which is neatly surmised in epigram 102.: One can't proceed from the informal to the formal by formal means. -- Alan Perlis, ``Epigrams in Programming'' http:/

Which is neatly surmised in epigram 102.: One can't proceed from the informal to the formal by formal means. -- Alan Perlis, ``Epigrams in Programming'' http://www.cs.yale.edu/homes/perlis-alan/quotes.html http://www.cs.yale.edu/homes/perlis-alan/quotes.html