1975 H. F. LedgardProgramming Proverbs ii. 42 The gain in clarity of the prettyprinted versions is unquestionable.
2002 ACM Trans. Programming Lang. & Syst.24 193 In all, our good-state invariant involved the definition of 32 functions and predicates, consuming a total of 565 lines of pretty-printed ACL2.