The Formal Treatment of state Transition Tables - A Tutorial. - Jan B. Hext; S. C. Hirst (Aust. Comput. J., 1982)

S.R.A.: A Program for Symbolic Regular Algebra. - S. C. Hirst (Aust. Comput. J., 1989)