Ronald T. House Attributes: Giving the Programmer Control Over Static Type Checking. [Citation Graph (0, 0)][DBLP] Australian Computer Journal, 1998, v:30, n:1, pp:20-29 [Journal]
Ronald T. House A Proposal for an Extended Form of Type Checking of Expressions. [Citation Graph (0, 0)][DBLP] Comput. J., 1983, v:26, n:4, pp:366-374 [Journal]