A region-based theory for state assignment in speed-independent circuits | Publicación