Peter Dybjer, Qiao Haiyan, Makoto Takeyama: Verifying Haskell programs by combining testing, model checking and interactive theorem proving. Inf. Softw. Technol. 46(15): 1011-1025 (2004)