This bibliography contains a list of references concerned with the formal Z notation that are either available as published
papers, books, selected technical reports, or on-line. Some references on the related B-Method are also included. The bibliography
is in alphabetical order by author name(s).