Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών - Ουρανός, Ιάκωβος Χ. (N/A, 1970)