System design with ada - Buhr R J A (1984)