There are ... items referenced.

Alternative author names: Carlos R. Baier.