Software specification techniques - Gehani McGettrick Andrew eds (Wokingham Addison Wesley, 1986)
Keywords: Software techniques