diff --git a/prism/src/jltl2dstar/DBA2DRA.java b/prism/src/jltl2dstar/DBA2DRA.java
index 2d05cff8..e643a828 100644
--- a/prism/src/jltl2dstar/DBA2DRA.java
+++ b/prism/src/jltl2dstar/DBA2DRA.java
@@ -29,18 +29,18 @@ import jltl2ba.APSet;
 
 /** @file 
  * Provides class DBA2DRA, which can convert a 
- * deterministic B�chi automaton to a deterministic Rabin
+ * deterministic Büchi automaton to a deterministic Rabin
  * automaton.
  */
 
 /**
- * Provides conversion from deterministic B�chi to 
+ * Provides conversion from deterministic Büchi to 
  * deterministic Rabin.
  */
 public class DBA2DRA {
 	/**
-	 * Convert a deterministic B�chi automaton
-	 * (a nondeterministic B�chi automaton NBA, where every transition
+	 * Convert a deterministic Büchi automaton
+	 * (a nondeterministic Büchi automaton NBA, where every transition
 	 * has at most one target state) to an equivalent deterministic 
 	 * Rabin automaton.
 	 * <p>
diff --git a/prism/src/jltl2dstar/NBA.java b/prism/src/jltl2dstar/NBA.java
index 0c7d989a..185780c9 100644
--- a/prism/src/jltl2dstar/NBA.java
+++ b/prism/src/jltl2dstar/NBA.java
@@ -33,11 +33,11 @@ import jltl2ba.MyBitSet;
 
 
 /** @file
- * Provides class NBA to store a nondeterministic B�chi automaton.
+ * Provides class NBA to store a nondeterministic Büchi automaton.
  */
 
 /**
- * A nondeterministic B�chi automaton.
+ * A nondeterministic Büchi automaton.
  * See class DA for description of template parameters.
  */
 
diff --git a/prism/src/jltl2dstar/NBAAnalysis.java b/prism/src/jltl2dstar/NBAAnalysis.java
index d37a23f9..57954de1 100644
--- a/prism/src/jltl2dstar/NBAAnalysis.java
+++ b/prism/src/jltl2dstar/NBAAnalysis.java
@@ -21,7 +21,7 @@
 package jltl2dstar;
 
 /** @file
- * Provides class NBAAnalysis for performing analysis on non-deterministic B�chi automata.
+ * Provides class NBAAnalysis for performing analysis on non-deterministic Büchi automata.
  */
 
 import java.util.*;
diff --git a/prism/src/jltl2dstar/NBA_State.java b/prism/src/jltl2dstar/NBA_State.java
index 8d3a52c5..e9b04e76 100644
--- a/prism/src/jltl2dstar/NBA_State.java
+++ b/prism/src/jltl2dstar/NBA_State.java
@@ -29,7 +29,7 @@ import jltl2ba.MyBitSet.MyBitSetIterator;
 
 
 /** @file
- * Provides class NBA_State for storing a state of a nondeterministic B�chi automaton.
+ * Provides class NBA_State for storing a state of a nondeterministic Büchi automaton.
  */
 
 /**