Feliks Kluzniak Miroslawa Milkowska Spill - A Logic Language for Writing Testable Requirements Specifications. 193-223 1997 28 Sci. Comput. Program. 2-3 db/journals/scp/scp28.html#KluzniakM97