The FL language manual (1985)

by J Backus, J H Williams, E L Wimmers