@article{17362,
      author       = "Manna, Zohar",
      title        = "Matematická teorie programů",
      year         = "1981",
      note         = "Vysokoškolská učebnice pro přírodovědecké fakulty a
                      fakultu matematickofyzikální., Liter. - Rejstřík., 1
                      sv.",
}