Piloty, R., "An overview of CONLAN: a formal construction method for hardware description languages" pp199-204.

Lavington, Simon H. (1980) Lavington, Simon H. (Ed.) Information Processing 80, Proceedings of IFIP Congress 80, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980. North-Holland/IFIP, 1980  

Languages mentioned CONLAN {1980} Hardware description language