bison, Communicating Sequential Processes, CSP, formal verification, hardware-software equivalence, Occam, partial order, preorder, yacc.