Liskov: Abstraction & Specification In Program Development

Liskov: Abstraction & Specification In Program Development