AB51.1.3

AB51.1.3 Books Received - Abstraction, Specification and Implementation Techniques, page 4

Page 3-4