VERIFIED Data Structures Through C In Depth By S K Srivastava 1635