diff --git a/Readme.md b/Readme.md
index df52c7ab9e76f9fcd3f3600155ff11116ee23cd0..2d2ec2fbe25ced2931ac39acd7d967bb3145d969 100644
--- a/Readme.md
+++ b/Readme.md
@@ -1,6 +1,6 @@
 # ComplexityParser
 
-ComplexityParser is a static complexity analyzer for Java programs based on tier-based typing following [^HP15][^HP18].
+ComplexityParser is a static complexity analyzer for Java programs based on tier-based typing following [^HP15] and [^HP18].
 If a program is typable, this guarantees its runtime to be polynomial on the condition that it halts.
 The type inference is automatic; its complexity is linear in the size of the input program in practice.