Principle of Documents for Systems Design - Part 1: Non-sequential Case