On computable approximations of Landau's constant (Logical Methods in Computer Science, 2012)