Margaret Wise Brown
Tucker, Michael
Romain Gary
Logics of Programs Workshop (1983 Carnegie Mellon University)