Substring Parsing for Arbitrary Context-Free Grammars. - J. Rekers; Wilco Koorn (ACM SIGPLAN Notices, 1991)

The Vital Processor Interlocking. - Sebastiaan van Vlijmen; Jan Friso Groote; Wilco Koorn (Algebraic Specification in Action, 1999)