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