On the whole, the usefulness of Cλash for describing hardware is not
completely clear yet. Most elements of the language have proven
-suitable, and even a real world hardware circuit (the reducer \todo{ref
-christiaan}) has been implemented. However, the language has not been
+suitable, and even a real world hardware circuit (a reducer circuit
+\cite[baaij09]) has been implemented. However, the language has not been
used during a complete design process, where its rapid prototyping and
reusability qualities could become real advantages, or perhaps the state
boilerplate or synchronicity limitations could become real problems.