VDM '88. VDM - The Way Ahead - Programvaruteknik - häftad (9783540502142)