Return to Article Details On the algebraic sematics of combinational programs Download Download PDF