Slide 57 of 93
Notes:
From [MGC94b]
This code also leads to the same AND-OR circuit as just described.
Since variable assignments take place immediately, this code is a more natural description than the intermediate signal version.