Torthaí cuardaigh - "Data types and structures."

ACM journal of data and information quality.

Available for University of the Philippines Diliman via ACM Digital Library . Click here to access

A specification-based approach to reasoning about pointers. de réir Kulczycki, Gregory

A type system for object models. de réir Edwards, Jonathan