1. Y. Chu, “An Algol-like computer design language,” Comm. of the ACM, vol. 8, pp. 607–615, October 1965.
2. S. Dasgupta, P. A. Wilsey, and J. Heinanen, “Axiomatic specifications in firmware development systems,” IEEE Software, vol. 3, pp. 49–58, July 1986.
3. R. E. Frankel and S. W. Smoliar, “Beyond register transfer languages: An algebraic approach for architecture descriptions,” Proc. 4th Int. Symp. on Computer Hardware Description Languages, 1979.
4. G. C. Gopalakrishnan, D. R. Smith, and M. K. Srivas, “An algebraic approach to the specification and realization of VLSI designs,” Proc. 7th Int. Symp. on Computer Hardware Description Languages, pp. 131–137, 1985.
5. J. D. Morison and A. S. Clarke, ELLA 2000: A Language for Electronic System Design. New York, NY: McGraw-Hill, 1994.