PaperA Formal Approach to Undo Operations in Programming LanguagesGeorge B. LeemanACM Transactions on Programming Languages and Systems (TOPLAS)
PaperSome regularity theorems for typically real functionsGeorge B. LeemanProceedings of the American Mathematical Society
PaperThe constrained coefficient problem for typically real functionsGeorge B. LeemanTrans. Am. Math. Soc.
