Two cases studies in software analysis and design by M.A. Tas