an Airchinnigh. Tutorial lecture notes on the Irish school of the VDM (1991)

by M Mac
Venue:In VDM'91, volume 552 of LNCS