A. Aljer, P. Devienne, S. Tison, J.-L. Boulanger, G. Mariano. BHDL: circuit design in B.
International Conference on Application of Concurrency to System Design (ACSD'2003), 2003, Guimaraes, France. pp.241-242,
⟨10.1109/csd.2003.1207723⟩.
⟨hal-03526474⟩