Nice looking pseudocode in latex (based in clrscode3e, Introduction to Algorithms' pseudocode package)