Support for change in RPDE3Harold OssherWilliam Harrison1990ACM SIGSOFT/SIGPLAN SDE 1990Conference paper