Alan Dent Keith Hanna Reasoning about Array Structure Using a Dependently Typed Logic. 207-224 1993 conf/chdl/1993 CHDL db/conf/chdl/chdl1993.html#DentH93