Added specification doc.