Reasoning about Array Structure Using a Dependently Typed Logic. - Alan Dent; Keith Hanna (CHDL, 1993)