The author of this proposal has many books and shorter documents in this format linked here: https://www.cs.ru.nl/~freek/books/ https://www.cs.ru.nl/~freek/boo

The author of this proposal has many books and shorter documents in this format linked here: https://www.cs.ru.nl/~freek/books/ https://www.cs.ru.nl/~freek/books/ Each link is accompanied by its first sentence, to encourage browsing.