@inproceedings{SIGMOD-1986-Lipeck,
	author        = "Udo W. Lipeck",
	booktitle     = "{Proceedings of the 16th ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD86/P387.PDF",
	doi           = "10.1145/16894.16892",
	pages         = "387--397",
	title         = "{Stepwise Specification of Dynamic Database Behaviour}",
	year          = 1986,
}