SCHUMANN, Johann M. Automated theorem proving in software engeneering. Berlin ; Heidelberg : Springer, 2001. ISBN 3540679898.

Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.