https://unggu.xyz/study/mit6.005-software%20construction/Abstraction-Functions-&-Rep-Invariants/