@book{14240,
	author = {Liskov, Barbara},
	title = {Abstraction and specification in program development},
	publisher = {: MIT Press},
	year = {©1986.},
	address = {Cambridge, Mass. }
}