Finance, J., Jahnichen, S., & Loeckx, J. Logical theory for program construction: Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109).
Παραπομπή σε μορφή Chicago (17η εκδ.)Finance, Jean-Pierre, Stefan Jahnichen, και Jacques Loeckx. Logical Theory for Program Construction: Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109).
Παραπομπή σε μορφή MLA (8th εκδ.)Finance, Jean-Pierre, et al. Logical Theory for Program Construction: Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109).
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.