[Haskell-beginners] Book on formal methods?

[C Gosch]

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