Structured program theorem

Da Wikipédia, a enciclopédia livre