Peter B. Reintjes A Set of Tools for VHDL Design. 549-562 1991 ICLP db/conf/iclp/iclp91.html#Reintjes91