VDM - the way ahead VDM '88 ; 2nd VDM-Europe symposium, Dublin, Ireland, September 11 - 16, 1988 ; proceedings (Springer, 1988)