A logic language for vlsi implementation by s.c. johnson of bell labs.

[S.C. Johnson, "Code Generation for Silicon", Proc 10th POPL, 1983].