A description of the cedar language (1983)

by Butler Lampson