[Meally55] Meally, Meally, G. Meally, A Method for Synthesizing Sequential Circuits, Bell Systems Technical Journal, 34, 1955, September, 1054-1079 []