On the power of bounded concurrency. III. Reasoning about programs | IEEE Conference Publication | IEEE Xplore