Towards a "Middle Road" Methodology for Writing Code Generators. - Feliks Kluzniak; Miroslawa Milkowska (PLILP, 1988)

Executable requirements Specifications in a Logic Specification Language SPILL-2. - Feliks Kluzniak; Miroslawa Milkowska (ICLP Workshop: Applications of Logic Programming to Software Engineering, 1994)

Readable, Runnable Requirements Specifications in SPILL-2. - Feliks Kluzniak; Miroslawa Milkowska (PLILP, 1994)

Spill - A Logic Language for Writing Testable Requirements Specifications. - Feliks Kluzniak; Miroslawa Milkowska (Sci. Comput. Program., 1997)

Proving correctness and completeness of normal programs - a declarative approach. - Wlodzimierz Drabent; Miroslawa Milkowska (Theory Pract. Log. Program., 2005)