A book based on course notes written over the years for a UNSW PL course