Specification Layout For A Practical Task