@inproceedings{ICSE-1987-Roman,
	acmid         = "41779",
	author        = "Gruia-Catalin Roman",
	booktitle     = "{Proceedings of the Ninth International Conference on Software Engineering}",
	editor        = "William E. Riddle and Robert M. Balzer and Kouichi Kishida",
	isbn          = "0-89791-216-0",
	pages         = "126--141",
	publisher     = "{ACM Press}",
	title         = "{Specifying Software/Hardware Interactions in Distributed Systems}",
	year          = 1987,
}