correctness proof for alpha-beta algorithm

[namenobodywants at gmail.com]

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