Formalizing the abstraction rule

From PKC
Jump to navigation Jump to search

This page formalize the Universal Data Abstraction rule