![]() | ![]() |
1989 | ||
---|---|---|
2 | S. C. Hirst: S.R.A.: A Program for Symbolic Regular Algebra. Australian Computer Journal 21(4): 151-161 (1989) | |
1982 | ||
1 | Jan B. Hext, S. C. Hirst: The Formal Treatment of state Transition Tables - A Tutorial. Australian Computer Journal 14(1): 1-6 (1982) |
1 | Jan B. Hext | [1] |