This book is dedicated to the memory of Professor Bill Martin, 1956–2016.