@PhdThesis{Williams00,
  author = 	 {P.F. Williams},
  title = 	 {Formal Verification Based on Boolean Expression Diagrams},
  school = 	 {Dept. of Information Technology, Technical University of Denmark},
  year = 	 2000,
  address =	 {Lyngby, Denmark},
  month =	 aug,
  note =	 {ISBN 87-89112-59-8}
}