Gaya APA

Vanderbilt, P. (1984). Program Development Using Refinement Logic . : .

Gaya MLA

Vanderbilt, Peter. "Program Development Using Refinement Logic". : , 1984. Text.