~ tracking down this book ~
Functional and Logic Programming by Oleg Kiselyov — OmList