Specification and Verification Using Dependent Types.

F. Keith Hanna Neil Daeche Mark Longley Specification and Verification Using Dependent Types. 949-964 http://www.computer.org/tse/ts1990/e0949abs.htm 1990 16 IEEE Trans. Software Eng. 9 db/journals/tse/tse16.html#HannaDL90