Hartenstein, Reiner W. (2012) [1993], "KARL and ABL", in Mermet, J. (ed.), Fundamentals and Standards in Hardware Description Languages, NATO Science Series E, vol. 249, Springer, pp. 447–, ISBN9789401119146
Barbacci, M.C. (1976). The Symbolic Manipulation of Computer Descriptions: ISPL Compiler and Simulator (Report). Department of Computer Science, Carnegie-Mellon University. doi:10.1184/R1/6610790.v1.
Barbacci, M.C.; Barnes, G.E.; Cattell, R.G.G.; Siewiorek, D.P. (1977). The ISPS Computer Description Language (Report). Department of Computer Science, Carnegie-Mellon University. doi:10.1184/R1/6610637.v1.
Barbacci, M.C.; Grout, S.; Lindstrom, G.; Maloney, M.P. (1984). Ada as a hardware description language : an initial report (Report). Department of Computer Science, Carnegie-Mellon University. CiteSeerX10.1.1.938.8003. doi:10.1184/R1/6602984.v1.
Li, Yanbing; Leeser, M. (1995). "HML: An innovative hardware description language and its translation to VHDL". Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair. pp. 691–696. doi:10.1109/ASPDAC.1995.486388. ISBN4-930813-67-0. S2CID14198160.
Barbacci, M.C.; Grout, S.; Lindstrom, G.; Maloney, M.P. (1984). Ada as a hardware description language : an initial report (Report). Department of Computer Science, Carnegie-Mellon University. CiteSeerX10.1.1.938.8003. doi:10.1184/R1/6602984.v1.
Li, Yanbing; Leeser, M. (1995). "HML: An innovative hardware description language and its translation to VHDL". Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair. pp. 691–696. doi:10.1109/ASPDAC.1995.486388. ISBN4-930813-67-0. S2CID14198160.