[1] Z Formal Specification Notation conference (s.u.a. LNCS1493)
[2] Churchill Falls, Newfoundland, Canada - internationale Fughafen-Kennung