APA (7th ed.) Citation

Finance, J., Jahnichen, S., & Loeckx, J. Logical theory for program construction: Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109).

Chicago Style (17th ed.) Citation

Finance, Jean-Pierre, Stefan Jahnichen, and Jacques Loeckx. Logical Theory for Program Construction: Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109).

MLA (8th ed.) Citation

Finance, Jean-Pierre, et al. Logical Theory for Program Construction: Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109).

Warning: These citations may not always be 100% accurate.