The paper I mentioned is Hints for Computer System Design, by Butler W. Lampson http://research.microsoft.com/~lampson/33-Hints/WebPage.html
I long ago wrote a summary Excerpts from Butler Lampson's "Hints for Computer System Design" http://www.vendian.org/mncharity/dir3/hints_lampson/ Mitchell (You might also enjoy my Principles of Computer System Mis-Design http://www.vendian.org/mncharity/dir2/misdesign/ http://www.vendian.org/mncharity/TemporaryURL/misdesign/work.html A minimal Polya cite is "How to Solve It -- A New Aspect of Mathematical Method", by G. Polya. He also has two "Mathematics and Plausible Reasoning" books, but I've not read them. )
