1. Apt, K.R., Olderog, E.-R.: Verification of sequential and concurrent programs. Springer, Heidelberg (1991)
2. Berghammer, R., Reuter, F.: A linear approximation algorithm for bin packing with absolute approximation factor
$\frac{3} {2}$
. Science of Computer Programming 48, 67–80 (2003)
3. Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to algorithms. MIT Press, Cambridge (1990)
4. Coffmann Jr., E.G., Garay, M.R., Johnson, D.S.: Approximation algorithms for bin packing: A survery. In: Hochbaum, D.S. (ed.) Approximation algorithms for NP hard problems, pp. 46–93. PWS Publishers (1996)
5. Cousot, P.: Methods and logics for proving programs. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 841–993. Elsevier, Amsterdam (1990)