@inproceedings{1046836,
    title = "On the role of interpolation in stepwise refinement",
    author = "Δημητράκος, Θ. and Maibaum, Thomas S. E.",
    year = "1997",
    pages = "181-186",
    publisher = "Πανεπιστήμιο Κύπρου",
    booktitle = "Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά"
}