An Exercise in Protocol Synthesis

@article{eijk1991,
  title = {An Exercise in Protocol Synthesis},
  author = {Peter van Eijk and J. Schot},
  journal = {FORTE},
  year = {1991},
  month = {Jan},
}

Peter van Eijk & J. Schot (1991). An Exercise in Protocol Synthesis. FORTE.

Peter van Eijk, and J. Schot. "An Exercise in Protocol Synthesis." FORTE, 1991.

Peter van Eijk, and J. Schot. "An Exercise in Protocol Synthesis." FORTE (1991).

Peter van Eijk and J. Schot, 1991. An Exercise in Protocol Synthesis. FORTE.

TY  - JOUR
TI  - An Exercise in Protocol Synthesis
AU  - Peter van Eijk
AU  - J. Schot
PY  - 1991
JO  - FORTE
ER  -