[Haskell-cafe] Real World Haskell Chapter 11 ... Testing

Hi, Testing of "pure" code ... . way cool ... I am sure there literature from the first order logic, model theory, categorical logic viewpoint?? Kind regards, Vasili