functional programming and specication lecture note february lazy and published presentations and documents on DocSlides.