algorithm; input domain; failure-detection capability; 9781891706240