Steven Robbins Experimentation with bounded buffer synchronization. 330-334 2000 conf/sigcse/2000 SIGCSE http://doi.acm.org/10.1145/330908.331880 db/conf/sigcse/sigcse2000.html#Robbins00a