Verification of the Cigarette Smokers' Problem: a Viable Approach

[1]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..