Stephen J. Fink Kathleen Knobe Vivek Sarkar Unified Analysis of Array and Object References in Strongly Typed Languages. 155-174 2000 conf/sas/2000 SAS db/conf/sas/sas2000.html#FinkKS00