An article on the mathematical foundations of computing science data structures.