Books about high-level cynthens of control-dominated asynchronans circuit designs