i love it when papers write in a godawful pseudocode that is actually just harder to read than regular code...
why use set notation instead of just `waitfor.remove(A)` ? it literally just seems like they want to be fancy
@pry what do you mean by pseudocode? this is pure Pascal 
@AncientGood if only it was, pascal is easy to read, this looks like the love child of algol and set notation