3-promise for features

I need help remembering which book I read from this. Maybe it was effective C ++ or something like that, but I don’t remember. I read what basically claimed functions have 3 promises:

• Confirm input parameters to make sure that they meet expected input requirements
• Guaranteed respect and preservation of invariants
• Confirm output parameters (return and exit parameters)

The book also had good names for this, but for life I do not remember. It bothered me that I had to come to Stackoverflow to find out if anyone would find out and help me remember ...