S. Kędzierski, „Weryfikacja poprawności procesu biznesowego”, znwsb, t. 32, nr 32, luty 2011.