Principle of Documents for Systems Design - Part 2: Sequential Case