I think you may want to take a look at TTFP book by Simon Thompson: https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/
I think you may want to take a look at TTFP book by Simon Thompson: https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/