Report copyright - Representation invariants and abstraction functions

Please pass captcha verification before submit form