@proceedings{IWPTS-1988,
	address       = "Vancouver, BC, Canada",
	title         = "{Proceedings of the First International Workshop on Protocol Test Systems}",
	year          = 1988,
}