Kybernetika 3 no. 4, 377-397, 1967

Memory elements and partition pairs in the synthesis of sequential circuits