2000 T0 Data Structures for the Analysis of Large Structured Markov Models Andrew S. Miner The College of William and Mary, 2000 PDF