Questions
completeness, 209–10
correctness, 208–9
differences, 213
efficiency, 211
Polya, 177–78
robustness, 210
state, 212
Queue variable, 266