Manfred Broy;Martin Wirsing
-;-
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming