Multitarget Calculus by Ronald P.S. Mahler