@string{LICSB= "Annual Symposium on Logic in Computer Science"}
@string{CSP  = "Computer Society Press"}

@INPROCEEDINGS{Stark92,
	AUTHOR = "E. W. Stark",
	TITLE = "A Calculus of Dataflow Networks",
	PAGES = "125-136",
	CROSSREF = "LICS92"
	}

@proceedings{LICS92,
	title		= "Seventh " # LICSB # " (LICS '92)",
	booktitle	= "Seventh " # LICSB # " (LICS '92)",
	year		= "1992",
	address		= "Santa Cruz, California",
	month		= jun,
	publisher	= CSP
}