diff --git a/alib2algo/src/automaton/simplify/Minimize.h b/alib2algo/src/automaton/simplify/Minimize.h
index 98a7a7665ecd94bc3b3df6170398a4d5ca16556f..7027c17b58e01257caa361fb758dda271244a0ae 100644
--- a/alib2algo/src/automaton/simplify/Minimize.h
+++ b/alib2algo/src/automaton/simplify/Minimize.h
@@ -45,6 +45,7 @@ namespace simplify {
  * For finite tree automata, we implement ???.
  *
  * @sa automaton::simplify::MinimizeBrzozowski
+ * @sa automaton::simplify::MinimizeDistinguishableStates
  */
 class Minimize {
 public:
diff --git a/alib2algo/src/automaton/simplify/MinimizeBrzozowski.h b/alib2algo/src/automaton/simplify/MinimizeBrzozowski.h
index 7a3fe545ea7c32159a749dcdd7f7f22044659262..58b4f9722a89f9e07dcb037ddabec30e7e4cab9c 100644
--- a/alib2algo/src/automaton/simplify/MinimizeBrzozowski.h
+++ b/alib2algo/src/automaton/simplify/MinimizeBrzozowski.h
@@ -43,6 +43,7 @@ namespace simplify {
  * Implements: Brzozowski, J.A.: Canonical regular expressions and minimal state graphs for definite events (1962)
  *
  * @sa automaton::simplify::Minimize
+ * @sa automaton::simplify::MinimizeDistinguishableStates
  */
 class MinimizeBrzozowski {
 public: