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