@book{776,
	author = {Jerzy Wojtowicz & Other},
	title = {Architecture Formal Approach},
	publisher = {Academy Edition Martins press}
}