Gaya APA

Bates, J, L. (1979). A Logic for Correct Program Development . : .

Gaya MLA

Bates, Joseph, Louis. "A Logic for Correct Program Development". : , 1979. Text.