Plan 9 from Bell Labs’s /usr/web/sources/contrib/rsc/pico/README
This is a workalike for Gerard Holzmann's pico. It compiles code on the fly! The images gerard, doug, and judy are from http://netlib.sandia.gov/popi/