observational equivalence 60
Occam 209–211, 233
OMT (Object Modeling Technique) 5
operating system processes 23–24
operators 368
Ornamental Garden
Animator trace 70
class diagram 64
corrected program 72, 73
model 67–71
problem 63–67
output action 15