Introduction
Python API
Java API
References
Please refer to Minimal Recursion Semantics An Introduction.