TY - RPRT TI - Synthesis of Binary k-Stage Machines AU - Elena Dubrova PY - 2010 UR - https://arxiv.org/abs/1009.5802 ID - 1009.5802 ER -