1. Amann, R. and Baitinger, U. G. (1987). ‘New state assignment algorithms for finite state machines using counters and multiple-PLA/ROM structures’, IEEE International Conference on Computer-Aided Design, pp. 20–23.
2. Amann, R. and Baitinger, U. G. (1989). ‘Optimal state chains and state codes in finite state machines’, IEEE Transactions on Computer-Aided Design, CAD-8(2), pp. 153–170.
3. Armstrong, D. B. (1962a). ‘A programmed algorithm for assigning internal codes to sequential machines’, IRE Transactions on Electronic Computers, EC-11 pp. 466–472.
4. Armstrong, D. B. (1962b). ‘On the efficient assignment of internal codes to sequential machines’, IRE Transactions on Electronic Computers, EC-11, pp. 611–622.
5. Ashar, P., Devadas, S. and Newton, A. R. (1990). ‘A unified approach to the decomposition and re-decomposition of sequential machines’, 27th Design Automation Conference, pp. 601–606.