Dick Crouch, Tracy Holloway King: Type-checking in Formally Non-typed Systems. SETQALNLP 2008: 3-4