initial README of specification