@booklet {johnson_experience_1988,
	title = {Experience of formal development in {CICS}},
	year = {1988},
	note = {n/a},
	month = {jan},
	publisher = {IBM United Kingdom Laboratories Ltd., Hursley Park, Winchester, UK},
	type = {Internal {Report}, {Unrestricted}},
	abstract = {n/a},
	author = {Johnson, Paul}
}
