Add examples to README, udpate specification