Gaya APA

Daylight, E, G. (2015). From mathematical logic to programming-language semantics: a discussion with Tony Hoare . : .

Gaya MLA

Daylight, Edgar, G.. "From mathematical logic to programming-language semantics: a discussion with Tony Hoare ". : , 2015. Text.