Initial commit
Added specification tests