Typesets pseudocode as in Introduction to Algorithms
