Reversibility with Holes (Lecture notes in computer science)