The next 700 data description languages
The next 700 programming languages