From mathematical logic to programming-language semantics: a discussion with Tony Hoare | UPT Perpustakaan UHAMKA