V8/usr/src/cmd/monk/db/model.m

|include(envir.h)
|include(preproc.h)
|include(monk.h)
|include(macro.h)

|include(refs.h)
|environment(ref_ieee_init;
	blank.lines 2, protect, center on, font bold,
	text "REFERENCES", blank.lines -1,
	macro reference_end_definition,
	blank.lines;)

|include(titlebox.h)
|include(titlebox.m)

|environment(titlebox;
	;

	new.page, fill off, size +2, font bold, center on,
	macro title_string, font roman, size -2, fill on,
|for i in 1 2 3 4 5 6 7 8 9 [
	if begin ge(author_counter, $i),
		new.line, size +1, temporary.font italics,
		string author_array($i), temporary.font, size -1,
		if begin unequal_string_registers(location_array($i), location_array($i+1)),
			if begin equal_string(location_array($i), CM),
				text "Carnegie-Mellon University", new.line,
				text "Electrical and Computer Engineering Department", new.line,
				text "Pittsburgh, PA 15213", new.line,
			if end,
			if begin equal_string(location_array($i), HL),
				text "AT&T Bell Laboratories", new.line,
				text "Short Hills, New Jersey 07078", new.line,
			if end,
			if begin equal_string(location_array($i), HO),
				text "AT&T Bell Laboratories", new.line,
				text "Holmdel, New Jersey 07733", new.line,
			if end,
			if begin equal_string(location_array($i), MH),
				text "AT&T Bell Laboratories", new.line,
				text "Murray Hill, New Jersey 07974", new.line,
			if end,
			if begin equal_string(location_array($i), PY),
				text "AT&T Bell Laboratories", new.line,
				text "Piscataway, New Jersey 08854", new.line,
			if end,
			if begin equal_string(location_array($i), WH),
				text "AT&T Bell Laboratories", new.line,
				text "Whippany, New Jersey 07981", new.line,
			if end,
		if end,
	if end,
]
	center off,

	new.page,

	center on, size +1, temporary.font italics "ABSTRACT",
	size -1, center off, blank.lines, macro abstract_string, blank.lines,

	font italics, text "Keywords:", macro keyword_string, font, blank.lines .5i)
	|comment<summary: titlebox (produce title box here)>

|environment(document_begin_and_end_of_text;
	clear author_counter document_counter,
	format.type model,
	set page_width 4.25i, line.length,
	set page_length 11.0i, page.length,
	set font_size 12, font.size;)