[Haskell-beginners] Book on formal methods?

Hi there, I suspect that some here may be experts in formal methods. Can you recommend a book on formal methods (for software engineering)? I do not know about formal methods so far, I can take some theory, and in a book I would like to have some examples and practical issues explained as well as theoretical stuff. Any recommendations? Thanks a lot, Christian