Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT (Tool Paper)
Compilers: Principles, Techniques, and Tools (2nd Edition)