The book "Concepts, Techniques, and Models of Computer Programming" (what this blogpost basically is about) uses Mozart/Oz. When I first studied it at uni I didn't care much for it, but when I sat down later and really tried to understand it, it blew my mind as you said.
The book is cool, basically introduces a simple model of an abstract computer and defines some operations, and then expands upon that throughout.
The book is cool, basically introduces a simple model of an abstract computer and defines some operations, and then expands upon that throughout.