look on the maxking website, there is a section there with some code for just that purpose. if you decide to roll your own, then you really do not need to do that much; all you really need is some serial code for picmicro processor, which si very easy to find or write yourself; then simply write a matching routine in the reader to talk to the pic processor on the card. for a simple project there is really no nead to follow iso-7816 either. keep it simple.