Axiomatic approach to the system of files. - Lucjan Stapp (Logic of Programs, 1980)

ISTQB® Certified Tester Foundation Level - A Self-Study Guide Syllabus v4.0 - Lucjan Stapp; Adam Roman; Michaël Pilaeten (Springer, 2024)