Software engineering with abstractions - Bērziņš, Valdis Andris; Luqi (Addison-Wesley, 1991)