Semi-formal design of reliable mesh generation systems

Basic Linear Algebra Subprograms for Fortran Usage

C. L. Lawson, Richard Hanson, David R. Kincaid et al. · ACM Transactions on Mathematical Software · 1979 · 1.6K citations · Full text

Computing the n-dimensional Delaunay tessellation with application to Voronoi polytopes

David F. Watson · The Computer Journal · 1981 · 1.5K citations

Geometric Modeling, Discrete Geometry, Engineering +15

Computing Dirichlet tessellations

Adrian Bowyer · The Computer Journal · 1981 · 1.1K citations · Full text

Geometric Modeling, Spectral Theory, Discrete Geometry +14

Logic in computer science: modelling and reasoning about systems

Choice Reviews Online · 2005 · 870 citations

Applied Logic, Computational Logic, Clear Presentation +12

The Modular Structure of Complex Systems

David Lorge Parnas, Paul Clements, David M. Weiss · IEEE Transactions on Software Engineering · 1985 · 369 citations

Software Maintenance, Engineering, Software Engineering +22