SLIM - A VLSI language for translating DFAs into circuits. J.L. Hennessy,
"SLIM: A Simulation and Implementation Language for VLSI Microcode",
Lambda, Apr 1981, pp.20-28.
SLIM Programming Language
http://www.programming-languages.co.uk/slim.html
Large list of computer programming languages arranged alphabetically, with explanations.