@inproceedings{ICSE-1987-FutatsugiGMO,
	acmid         = "41772",
	author        = "Kokichi Futatsugi and Joseph A. Goguen and José Meseguer and Koji Okada",
	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         = "51--60",
	publisher     = "{ACM Press}",
	title         = "{Parameterized Programming in OBJ2}",
	year          = 1987,
}