ML for the Working Programmer: Preface