Visualizing Program Designs Through PegaSys. - Mark Moriconi; Dwight F. Hare (Computer, 1985)

PegaSys: A system for graphical explanation of program designs. - Mark Moriconi; Dwight F. Hare (SLIPE, 1985)

The PegaSys System: Pictures as Formal Documentation of Large Programs. - Mark Moriconi; Dwight F. Hare (ACM Trans. Program. Lang. Syst., 1986)