@book{0001186,
  title = {Formal description and development of graphical user interfaces},
  author = {Weishi Zhang},
  year = {1996},
  researchr = {https://researchr.org/publication/0001186},
  cites = {0},
  citedby = {0},
  publisher = {Utz},
  isbn = {978-3-89675-151-5},
}