Algorithmen zur Zustandscodierung synchroner Steuerwerke. - Karl-Heinz Kaiser (VDI-Verlag, 1989)