Language descriptions and examples for CS 5300 at Utah State University