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–, ISBN978-94-011-1914-6
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. 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.
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.