@inproceedings{1039862,
    title = "Program modules and their verification",
    author = "Antoniou, G.",
    year = "1991",
    pages = "210-221",
    publisher = "Εκδόσεις Νέων Τεχνολογιών",
    booktitle = "3ο Πανελλήνιο Συνέδριο Πληροφορικής. Η πληροφορική στη δεκαετία του '90. Τεχνολογία - αναπτυξιακή πολιτική (Τόμος 1)"
}