You're referring to https://cs.nyu.edu/~yap/classes/os/resources/EWD74.pdf https://cs.nyu.edu/~yap/classes/os/resources/EWD74.pdf while 'passering' and 'vrijgav

You're referring to https://cs.nyu.edu/~yap/classes/os/resources/EWD74.pdf https://cs.nyu.edu/~yap/classes/os/resources/EWD74.pdf while 'passering' and 'vrijgave' are already mentioned in http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD35.PDF http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD35.PDF