EstPC

A compiler from Estelle to C.

ftp:osi.ncsl.nist.gov/pub/osikit/estpc.