Generating software From specifications - Kastens Uwe; Sloane Anthony M (New Delhi Viva Books, 2008)
Keywords: I I C