Mathematics of Program Construction door Jean Jacod & E.A. Boiten