correctness proof for alpha-beta algorithm

[namenobodywants]

hi all

can anybody tell me where to look for a proof of the correctness of a 
minimax/negamax algorithm with alpha-beta pruning? thanks if you can help

peace
stm
-- 
https://mail.python.org/mailman/listinfo/python-list