Sets, types and specification. - Nicholas P. Mitchell (2003)