Hi, I am looking for the founding papers on Kinds and any other interesting papers that review them particularly in regards to their implimentation. Many thanks in advance, Aaron -- Independent Software Engineer and amateur Computer Scientist