[Haskell-cafe] Proving programs

[Andrés Sicard-Ramírez]

On Wed, Jan 2, 2013 at 12:22 PM, Simon Thompson <s.j.thompson at kent.ac.uk> wrote:
> Christopher, there's an introduction to proof for functional programs at
>
>   http://www.cs.kent.ac.uk/people/staff/sjt/Pubs/ProofChapter.pdf
>

Simon, is it possible to get the list of the bibliographic references
used in the chapter?

Best regards,

-- 
Andrés