Reference:

Ruslan Ledesma-Garza. Verification of Temporal Properties of Functional Programs. Master's thesis, Saarland University, 2011.

Suggested BibTeX entry:

@mastersthesis{RuslanMasters,
    author = {Ruslan Ledesma-Garza},
    school = {Saarland University},
    title = {{Verification of Temporal Properties of Functional Programs}},
    year = {2011}
}