Minimal Fault Tests for Combinational Networks. - Marek Fridrich; Wayne A. Davis (IEEE Trans. Computers, 1974)

Minimal Fault Tests for Redundant Combinational Networks. - Marek Fridrich; Wayne A. Davis (IEEE Trans. Computers, 1977)

The Felix File System. - Marek Fridrich; William J. Older (SOSP, 1981)

HELIX: The Architecture of a Distributed File System. - Marek Fridrich; William J. Older (ICDCS, 1984)

Helix: The Architecture of the XMS Distributed File system. - Marek Fridrich; William J. Older (IEEE Softw., 1985)