ISO-690 (author-date, English)

KAISER, Alexander, 2013. Monotonicity in shared-memory program verification [online]. Available from: https://ethos.bl.uk/Order Details.do?uin=uk.bl.ethos.581399

Elsevier - Harvard (with titles)

Kaiser, A., 2013. Monotonicity in shared-memory program verification.

American Psychological Association 7th edition

Kaiser, A. (2013). Monotonicity in shared-memory program verification. https://ethos.bl.uk/Order Details.do?uin=uk.bl.ethos.581399

Springer - Basic (author-date)

Kaiser A (2013) Monotonicity in shared-memory program verification

Juristische Zitierweise (Stüber) (Deutsch)

Kaiser, Alexander, Monotonicity in shared-memory program verification, 2013.

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