Harels Algorithmics is a wonderful book in this same vein: https://www.goodreads.com/book/show/2378136.Algorithmics https://www.goodreads.com/book/show/2378136

Harels Algorithmics is a wonderful book in this same vein: https://www.goodreads.com/book/show/2378136.Algorithmics https://www.goodreads.com/book/show/2378136.Algorithmics