pl-syntax

This is a LaTeX package for defining the abstract syntax of programming languages.

See example.tex to learn how to use this package.