Using C#, Visual Studio 2010.
There is a namespace called System.Web.Mvc documented on MSDN. The documentation for all the types in that namespace says that they are
I believe you'll find the MVC assembly is referenced in the web.config file, not in the project itself.
Something like this:
To respond to your comment;
The best answer I can give is from here:
The add element adds an assembly reference to use during compilation of a dynamic resource. ASP.NET automatically links this assembly to the resource when compiling each code module.