A useful application of formal procedure parameters. - Peter van Eijk (ACM SIGPLAN Notices, 1986)

Tools for LOTOS Specification Style Transformation. - Peter van Eijk (FORTE, 1989)

LOTOS Tools Based on the Cornell Synthesizer Generator. - Peter van Eijk (PSTV, 1989)

Design of the LOTOSPHERE Symbolic LOTOS Simulator. - Peter van Eijk; Henk Eertink (FORTE, 1990)

On the use of specification styles for automated protocol implementation from LOTOS to C. - Peter van Eijk; Harro Kremer; Marten van Sinderen (PSTV, 1990)

Attribute Grammar Applications in Prototyping LOTOS Tools. - Peter van Eijk (WAGA, 1990)

Tool Demonstration: The Lotosphere Integrated Tool Environment Lite. - Peter van Eijk (FORTE, 1991)

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

The Term Processor Generator Kimwitu. - Peter van Eijk; Axel Belinfante; Henk Eertink; Henk Alblas (TACAS, 1997)

The true cost of website downtime; how to develop a convincing case? - Peter van Eijk (Int. CMG Conference, 2011)

Poster: How to use cloud computing and social media to run a CMG chapter and other communities. - Peter van Eijk (Int. CMG Conference, 2011)

Webhosting in the Cloud. Cheaper and Smarter. - Peter van Eijk (Int. CMG Conference, 2012)