Coming to FP very late in my career, I've never read this. I've skimmed about half of it and it looks really nice. Unless I'm mistaken, it appears that the entire book provides examples in pseudo-code which is pretty interesting. I like their concept of specifications and the definition of strictness is really nice. I'm looking forward to getting a bit of time to read it more fully.
This is the book that I came across in the early 90s in a second hand book shop that got me thinking about functional programming! I wouldn't recommend it now, as there are better resources, but I really liked this book, I still have it in my bookshelf
The Miranda book! I read this as a wet-behind-the-ears undergrad, and the scales fell from my eyes. Also, my copy had a weird binding that made a funny squeaking sound every time I turned a page.