Turner, Kenneth J
Formal description techniques
/North-Holland, Proceedings of the first international conference on formal description techniques Stirling, Scotland, 6-9 September, 1988
- Amsterdam: North-Holland, 1989
- xvii, 351p.
0-444-87126-8
Formal description techniques
International conference Parameterised expansion
D 519.68(082.2) / M9