Sequential Programming Definition